Tareas

VI.            Reglas de Inferencia.
1.       Inferencia.
Es deducir, y deducir es obtener conclusiones a partir de unas premisas. El cálculo inferencial tiene como finalidad facilitar el análisisde argumentos mediante el lenguaje simbólico y las “Reglas de la Inferencia”.

2. Reglas de Inferencia
Los argumentos basados en tautologías representan métodos de razonamiento universalmentecorrectos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llaman reglas de inferencia.Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.
 
Ejemplo:
¿Es valido el siguiente argumento?.
Si usted invierte en el mercado de valores,entonces se hará rico.
Si se hace usted rico, entonces será feliz.
 Si usted invierte en el mercado de valores, entonces será feliz.
 
Sea:
p:         Usted invierte en el mercado de valores.q:         Se hará rico.
r:         Será feliz
 
De tal manera que el enunciado anterior se puede representar con notación lógica de la siguiente manera:
p  q
q  r
 p  r
 
A continuación se citauna lista de las principales reglas de inferencia que se pueden aplicar en una demostración.

Algunas de las reglas de inferencia más conocidas son:
En la lógica proposicional:

Modus ponendoponens
Modus ponendo tollens
Modus tollendo ponens
Modus tollendo tollens
Silogismo hipotético
Silogismo disyuntivo


 
a)     Reglas de Adición:
Con cualquier premisa o conclusión podemosformular una conclusión disyuntiva en la que uno de sus  miembros sea esa premisa o conclusión.
p
ˆ  pwq
 
b)    Reglas de Simplificación:
Las premisa o conclusiones conjuntivas pueden simplificarse encualquiera de sus miembros.
ˆ  pwq
p
 
c)     Reglas de Silogismo Disyuntivo:
Siempre que se de una disyunción y dos enunciados condicionales cuyos antecedentes sean cada uno un miembro...