Reglas De Inferencia

Reglas de Inferencia
Los argumentos basados en tautologías representan métodos de razonamiento universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervieneny 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 enuna 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 invierteen 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 enunciadoanterior se puede representar con notación lógica de la siguiente manera:
p  q
q  r
 p  r

A continuación se cita una lista de las principales reglas de inferencia que se pueden aplicar en unademostración.


a) Reglas de Adición:
Con cualquier premisa o conclusión podemos formular una conclusión disyuntiva en la que uno de sus miembros sea esa premisa o conclusión.
p
ˆ pwqb) Reglas de Simplificación:
Las premisa o conclusiones conjuntivas pueden simplificarse en cualquiera de sus miembros.
ˆ pwq
p

c) Reglas de Silogismo Disyuntivo:
Siempre que se deuna disyunción y dos enunciados condicionales cuyos antecedentes sean cada uno un miembro distinto de esa disyunción, se puede concluir con la disyunción de los consecuentes de los enunciadoscondicionales
pwq
p’
ˆ p


d) Reglas de Silogismo Hipotético:
Siempre que se den dos condicionales, siendo el consecuente del primero el antecedente del segundo, se puede concluir con uncondicional cuyo antecedente del primer condicional y cuyo consecuente sea el consecuente del segundo condicional.
p÷q
q÷r
p÷r

e) Reglas de Conjunción:
Toda premisa o conclusión puede ser...