Reglas de Inferencia Lógica
1
Reglas de inferencia lógica 1. Modus Ponendo Ponens (MPP) A→ B A ---------- B 2. Modus Tollendo Tollens (MTT) A→ B -B ------------ -A 3. Silogismo Disyuntivo (SD) A v B -A ------------ B 4. Silogismo Hipotético (SH) A→ B B→ C ------------ A→ C 5. Dilema Constructivo (DC) A→ B C→D A v C ----------- B v D 6. Dilema Destructivo (DD) A→ B C→ D -B v –D ------------- -A v –C 7. Simplificación (Simpl.) A ˄ B --------- A 8. Adición (Adic.) A --------- A v B 9. Conjunción (Conj.) A B -------- A ˄ B 10. Reemplazo de equivalentes (RE)
-
Upload
idemarinis9258 -
Category
Documents
-
view
7 -
download
2
description
Reglas de Inferencia Lógica.
Transcript of Reglas de Inferencia Lógica
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)