reglas de inferencia lógica
DESCRIPTION
Reglas de Inferencia Lógica.TRANSCRIPT
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)