PRUEBAS DE VALIDEZ E INVALIDEZ

Las principales reglas de inferencia son:

-Modus Ponens (MP)
-Modus Tollens (MT)
-Silogismos Disyuntivo(SD)
-Dilema Constructivo(DC)
-Dilema Destructivo(DD)
-Silogismo Hipotetico(SH)
-Regla de la Simplificacion(Simp.)
-Regla de la Conjuncion(conj.)
-Regla de la Adicion(ad.)