Reglas de inferencia lgica

1. 2. Modus Ponendo Ponens (MPP)

A BA ----------B

3. Modus Tollendo Tollens (MTT)

A B-B-------------A

4. Silogismo Disyuntivo (SD)

A v B-A------------B

5. Silogismo Hipottico (SH)

A BB C------------A C

6. Dilema Constructivo (DC)

A BCDA v C-----------B v D

7. Dilema Destructivo (DD)

A B C D-B v D--------------A v C8. Simplificacin (Simpl.)

A B---------A

9. Adicin (Adic.)

A---------A v B

10. Conjuncin (Conj.)

AB--------A B

11. Reemplazo de equivalentes (RE)