Question

Reglas de inferencia

Answer 1

REGLAS DE INFERENCIA
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.



PRINCIPALES REGLAS DE INFERENCIA

MPP Modus ponendoponens
A → B 
A 
- - - - - 
B

MTTModustollendotollens
A → B 
¬B 
- - - - - 
¬A

SD Silogismo Disyuntivo 
A ∨ B 
¬A 
- - - - - 
¬B

SH Silogismo hipotético 
A → B 
B → C 
- - - - - 
A → C

LS Ley de simplificación 
A ∧ B 
- - - - - 
A

LA Ley de adición 
A 
- - - - - 
A ∨ B

CONTRAPOSITIVA
A → B 
- - - - - 
¬B → ¬A

La comprobación de las reglas anteriores es directa y basta hacer una fórmula con la conjunción de las premisas condicional la conclusión y probar que es una tautología, por ejemplo haciendo una tabla y obtener todos los vaores verdaderos