leyes de inferencia (logica)

Reglas de Inferencia Deductiva

MPP Modus ponendo ponens
A → B
A
- - - - -
B

MTTModus tollendo tollens
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