REGLAS DE INFERENCIA

1.- Modus Ponens (M.P.)

4.- Silogismo Disyuntivo (D.S.)

7.- Simplificacin (Simp.)

10.- Teoremas de DeMorgan (De M.)
( )
( )
13.- Distribucin (Dist.)
[ ( )]
[ ( )]
16.- Implicacin Material (Imp.)


19.- Tautologa (Taut.)

2.- Modus Tollens (M.T.)

~
~
5.- Dilema Constructivo (C.D.)
( )

8.- Conjuncin (Conj.)

11. Conmutacin (Conm.)


14.- Doble Negacin (D.N.)
=

3.- Silogismo Hipottico (H.S.)

6.- Dilema Destructivo (D.D.)
( )


9.- Adicin (Ad.)

17.- Equivalencia Material (Equiv.)

( ) ( )
( )

18.- Exportacin (Exp.)

[( ) ] [ ( )]

12.- Asociacin (Asoc.)

[ ]
[ ]
15.- Transposicin (Trans.)