LEYES DE 3. Silogismo Disyuntivo (SD) 8.

Dilema Constructivo Simple

FALACIAS
IMPLICANCIAS (DCS) FORMALES
[(pq)p]q
* A implica a B cuando B es una [(pq)q]p [(pq)(rq)(pr)] q Son razonamientos incorrectos
consecuencia lgica de A que confunden las leyes de
P1. pq P1. pq implicacin.
* AB es implicancia cuando es P2. p P2. rq
condicional tautolgica C. q P3. pr 1. Afirmacin del consecuente
C. q (Error del MP)
* Una inferencia vlida es 4. Simplificacin (S) P1. pq
cualquier condicional tautolgico 9. Dilema Constructivo P2. q
(pq)p Complejo (DCC) C. p
* Una inferencia invlida es un (pq)q
condicional contingente o [(pq)(rs)(pr)] (qs) 2. Negacin del antecedente
contradictorio P1. pq (Error del MT)
C. p P1. pq P1. pq
p q [(pq)q] p P2. rs P2. ~p
V V F V F 5. Adicin (Adic.) P3. pr C. ~q
V F F V F C. qs
F V F V V p(pq) 3. Afirmacin de los extremos
F F V V V 10. Dilema Destructivo Simple (Error del SD)
P1. p (DDS) P1. pq
1. Modus Ponens (MP) C. pq P2. q
[(pq)(pr)(qr)] p C. ~p
[(pq)p]q 6. Adjuncin (Adj.)
P1. pq 4. Medio concluyente
P1. pq [(p)(q)](pq) P2. pr (o cadena falsa)
P2. p P3. qr (Error del SH)
C. q P1. p C. p P1. pq
P2. q P2. pr
11. Dilema Destructivo C. qr
C. pq
Complejo (DDC)
2. Modus Tollens (MT) 5. Cambio del antecedente de
7. Silogismo Hiptetico (SH)
[(pq)(rs)(qs)] (pr) la conclusin
[(pq)q]p (Error del SH)
[(pq)(qr)](pr)
P1. pq P1. pq
P1. pq P1. pq P2. rs P2. qr
P2. q P2. qr P3. qs C. rp
C. p C. pr C. pr