1- IMPLICACIONES NOTABLES. 10. Ley de Inferencia Equivalente.

[(pq)p]→q.
1. Ley del Modus Pones. [(p→q)p]→q 5. Simplificación.
a) (pq)→p.
b) (pq)→q

11. Ley de Transitividad Simétrica.

[(pq)(qr)]→(pr)
2. Ley del Modus Tollens. 6. Conjunción. (pq)→(pq).
[(p→q)~ q]→ ~p.

12. Absorción. (p→q)→[p→(pq)].

7. Adición.
3. Ley del Silogismo Hipotético. a) p→(pq).
[(p→q)(q→r)]→(p→r). b) b) q→(pq).

8. Dilema Constructivo.
4. Ley del Silogismo Disyuntivo. [(p→q)(r→s)(pr)]→(qs).
a) [(pq)(~p)]→q.
b) [(pq)(~q)]→p.

9. Dilema Destructivo.
[(p→q)(r→s)(~q~s)]→(~p~r).
 6. Leyes de Morgan. 12. Elementos Neutros para la conjunción y la
disyunción (Identidad).
2- EQUIVALENCIAS NOTABLES. a) ~(pq)  ~p~q.
a) p  V  p.
1. Ley de Involución (Doble negación). b) ~(pq)  ~p~q.
b) p  F  F.
~ (~p)  p “ 7. Leyes del Condicional (Implicación Material).
c) p  V  V.
La negación de la negación es una afirmación”. a) p→q  ~pq.
d) p  F  p.
2. Ley de la Idempotencia. b) ~(p→q)  p~q.
13. Complementación.
a) pp  p. 8. Las leyes del Bicondicional (Equivalencia
Material). a) p v ~p  V.
b) pp  p.
a) (pq)  (p→q)(q→p)  (~p  q)( ~q  p). b) p  ~p  F
3. Leyes Conmutativas.
b) (pq)  (pq)(~p ~q). 14. Disyunción Exclusiva.
a) (pq)  (qp).
9. Leyes de la Absorción. pq  ~ (pq)
b) (pq)  (qp).
a) p(pq)  p.
c) pq  qp.
b) p(~pq)  pq.
4. Leyes Asociativas.
c) p(pq)  p.
a) p(qr)  (pq)r.
d) p(~pq)  pq.
b) p(qr)  (pq)r.
10. Leyes de Transposición.
c) p(qr)  (pq)r.
a) (p→q)  ~q→~p.
5. Leyes Distributivas.
b) (pq) ~q~p.
a) p(q r)  (pq)(pr).
11. Leyes de Exportación.
b) p(q r)  (pq)(pr).
a) (pq)→r  p→(q→r).
c) p→(q r)  (p→q)(p→r).
b) (p1 p2  … pn) →r  (p1 p2  … pn-
d) p→(q r)  (p→q)(p→r).
1)→(pn→r).