PRINCIPALES REGLAS DE INFERENCIA

MPP Modus Ponendo Ponens

MTT Modus Tollendo Tollens

AB

AB

-----

-----

SD Silogismo Disyuntivo

SH Silogismo hipottico

AB

AB

BC

-----

-----

B
LS Ley de simplificacin

AC
LA Ley de adicin

AB

-----

-----

A
CONTRAPOSITIVA

AB
La comprobacin de las reglas

AB

anteriores es directa y basta hacer

-----

una frmula con la conjuncin de las

B A

premisas condicional la conclusin y

probar que es una tautologa, por
ejemplo haciendo una tabla y obtener
todos los valores verdadero