Leyes de la lgica de proposiciones

1. Ley de identidad:
pp
pp
2. Ley de la doble negacin:
pp
3. Ley del tercio excluso:
pp
Fundamentos de Lgica Matemtica
4. Ley de contradiccin:
(pp)
5. Leyes de Morgan:
(pq)(pq)
(pq)(pq)
6. Leyes de reduccin al absurdo:
(p(qq))p
7. Leyes de conmutacin:
(pq)(qp)
(pq)(qp)
(pq)(qp)
8. Leyes de asociacin:
((pq)r)(p(qr))
((pq)r)(p(qr))
((pq)r)(p(qr))
9. Leyes de transposicin:
(pq)(qp)
(pq)(qp)
10. Leyes distributivas:
(p(qr))((pq)(pr))
(p(qr))((pq)(pr))
(p(qr))((pq)(pr))
(p(qr))((pq)(pr))
11. Leyes de permutacin:
(p(qr))(q(pr))
12. Leyes del silogismo:
(pq)((qr)(pr))
13. Silogismo hipottico o transitividad
((pq)(qr))(pr)
((pq)(qr))(pr)
14. Leyes de inferencia de la alternativa o de los silogismos disyuntivos:
[p(pq)]q
[p(pq)]q
15. Ley del dilema constructivo:

[(pq)(pr)(qr)]r
16. Segunda ley del dilema constructivo:
[(pq)(rs)(pr)](qs)
17. Ley del dilema destructivo:
[(pq)(rp)(sp)](rs)
18. Ley de exportacin:
[(pq)r][(p(qr)]
19. Ley de resolucin:
[(pq)(pr)](qr)
20. Ley del bicondicional:
(pq)[(pq)(qp)]
21. Condicional-disyuncion:
(pq)(pq)
Fundamentos de Lgica Matemtica
22. Condicional-conjuncin:
(pq)(pq)
23. Leyes de simplificacin:
(pq)p
p(pq)
24. Leyes de expansin:
(pq)[p(pq)]
(pq)[q(pq)]
25. Modus ponendo ponens:
[(pq)p]q
26. Modus tollendo tollens:
[(pq)q]p
Reglas de Gentzen
1. Introduccin de la negacin (RI):

Fundamentos deLgica Matemtica

4. Ley de contradiccin:
(pp)
5. Leyes de Morgan:
(pq)(pq)
(pq)(pq)
6. Leyes de reduccin al absurdo:

(p(qq))p
7. Leyes deconmutacin:
(pq)(qp)
(pq)(qp)
(pq)(qp)
8. Leyes de asociacin:
((pq)r)(p(qr))
((pq)r)(p(qr))
((pq)r)(p(qr))
9. Leyes detransposicin:
(pq)(qp)
(pq)(qp)
10. Leyes distributivas:
(p(qr))((pq)(pr))
(p(qr))((pq)(pr))
(p(qr))((pq)(pr))
(p(qr))((pq)(pr))
11.Leyes de permutacin:
(p(qr))(q(pr))
12. Leyes del silogismo:
(pq)((qr)(pr))
13. Silogismo hipottico o transitividad
((pq)(qr))(pr)((pq)(qr))(pr)
14. Leyes de inferencia de la alternativa o de los silogismos disyuntivos:
[p(pq)]q
[p(pq)]q
15. Ley del dilema constructivo:
[(pq)(pr)(qr)]r16. Segunda ley del dilema constructivo:
[(pq)(rs)(pr)](qs)
17. Ley del dilema destructivo:
[(pq)(rp)(sp)](rs)
18. Ley deexportacin:[(pq)r][(p(qr)]
19. Ley de resolucin:
[(pq)(pr)](qr)
20. Ley del bicondicional:
(pq)[(pq)(qp)]
21. Condicional-disyuncion:
(pq)(pq)
Fundamentos deLgica Matemtica
22. Condicional-conjuncin:
(pq)(pq)
23. Leyes de simplificacin:
(pq)p
p(pq)
24. Leyes de expansin:

(pq)[p(pq)](pq)[q(pq)]
25. Modus ponendo ponens:
[(pq)p]q
26. Modus tollendo tollens:
[(pq)q]p

Leyes Nombre
p-pV Ley de medio Excluido
p-pF Ley de Contradiccin
pFp Leyes de Indentidad
pVp Leyes de Indentidad
pVV Leyes de Dominacin
pFF Leyes de Dominacin
ppp Leyes de Idempotencia
ppp Leyes de Idempotencia
pqqp Leyes Conmutativas
pqqp Leyes Conmutativas
(pq)rp(qr) Leyes Asociativas
(pq)rp(qr) Leyes Asociativas
(pq)(pr)p(qr) Leyes Distributivas
(pq)(pr)p(qr) Leyes Distributivas
-(pq)-p-q Leyes de DeMorgan
-(pq)-p-q Leyes de DeMorgan