leyes de inferencia

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