LA EQUIVALENCIA

* A equivale a B cuando A es igual a B

* AB es una equivalencia cuando es
una bicondicional tautolgica
p q (p q) (pq)
V V V V V
V F V V V
F V V V V
F F F V F

REGLAS DE REEMPLAZO O
EQUIVALENCIAS
TAUTOLGICAS

1. Leyes generales
Conmutacin (Conm.)
(pq) (qp)
(pq) (qp)
(pq) (qp)
(p q) (qp)
Asociacin (Asoc.)
[p(qr)] [(pq)r]
[p(qr)] [(pq) r]
[p(qr)] [(pq) r]
Distribucin (Distrib.)
[(pq) r] [(pr) (qr)]
[(pq) r] [(pr) (qr)]
[p(qr)] [(pq)(pr)]
[p(qr)] [(pq)(pr)]
De Morgan (De M)
~(pq) (~p~q)
~(pq) (~p~q)
(pq) ~ (~p~q)
(pq) ~ (~p~q)

Doble Negacin (DN)
(p) p
Tautologa (Tau.)
(pppp) p
(pppp) p

2. Definiciones
Implicacin material (Impl.)
(p q ) ( p q)
(p q) (p q)
Equivalencia (Equiv.)
(p q ) [(pq)(qp)]
(p q) [(p q) ( p q)]
* Transposicin (Trans.)
(p q) ( q p)
(p q) ( q p)
Disyuncin inclusiva (DI)
(p q ) ( p q )
Disyuncin exclusiva (DE)
(p q ) (pq)
(p q ) [(p q) (p q)]
Negacin Conjunta (Def. NC)
(p q) ( p q)
(p q) (p q)
Negacin Alterna (Def. NA)
(p | q) ( p q)
(p q) (p q)

3. Artificios
Exportacin (Exp.)
[(p q) r) [ p ( q r) ]
Expansin (Expan.)
p [p (q q)]
p [p ( q q)]


Absorcin (Abs.)
[(pq)p] p
[(pq)p] p
[(pq)p] (pq)
[(pq)p] (pq)

4. Reglas de Equivalencia:
R1) (T C) C
R2) (T C) T
R3) (T T) T
R4) (T T) T
R5) ( C)
R6) ( C) C
R7) ( )
R8) ( )
Donde
T = Tautologa
= Contradiccin
C = Consistencia

Ejercicios
1. Halle el equivalente de
( ) ( )
A) B)
C) (A B) D) (A B)
E)

2. La frmula p q, es equivalente a:
A) p q B) p q
C) p q D) q p
E) pq

3. Simplificar:
( )
A) qp B) pq
C) p q D) p q
E) pq



LA IMPLICACIN

* A implica a B cuando B es una
consecuencia lgica de A
* AB es una implicacin cuando es
una condicional tautolgica
* Una inferencia vlida es cualquier
condicional tautolgico
* Una inferencia invlida es un
condicional contingente o
contradictorio
p q [(pq)q] p
V V F V F
V F F V F
F V F V V
F F V V V

1. Modus Ponens (MP)
P1. pq
P2. p
C. q

2. Modus Tollens (MT)
P1. pq
P2. q
C. p

3. Silogismo Disyuntivo (SD)
P1. pq
P2. p
C. q

4. Simplificacin (Simp.)
P1. pq
C. p


5. Adicin (Ad.)
P1. p
C. pq

6. Conjuncin (Conj.)
P1. p
P2. q
C. pq

7. Silogismo Hiptetico (SH)
P1. pq
P2. qr
C. pr

8. Dilema Constructivo Complejo
(DCC)
P1. pq
P2. rs
P3. pr
C. qs

9. Dilema Constructivo Simple (DCS)
P1. pq
P2. rq
P3. pr
C. q

10. Dilema Destructivo Complejo
(DDC)
P1. pq
P2. rs
P3. qs
C. pr



11. Dilema Destructivo Simple (DDS)
P1. pq
P2. ps
P3. qs
C. p

10. Prueba condicional (PC)
P1. pq
C. p (pq)

11. Prueba por reduccin al absurdo
(PRA)
P1. p (qq)
C. p

Ejercicios
1. Qu se concluye del siguiente esquema?
1. (pq) r
2. ps
3. q .
A) p B) p
C) q D) r
E)

2. Identifique la conclusin de la siguiente
inferencia
1. pq
2. pr
3. qs .
A) s B) (rs)
C) q D) r
E) rs

3. A partir de la inferencia deducir
1. p(qr)
2. (sq)r
3. s .
A) p B) q
C) p D) r s
E) s