Lista alfabtica de reglas de deduccin natural 1. Absorcin: [(P Q)] [P (P Q)] 2. Adicin: P / P Q; P / Q P 3. Antilogismo: [(P Q) R] [(P R) Q] 4.

R) Q] 4. Asociacin: [P (Q R)] [(P Q) R]; [P (Q R)] [(P Q) R] 5. Composicin: [(P Q) (P R)] [P (Q R)] 7. Conjuncin: P, Q / P Q 6. Condicionalizacin (Perdiendo dependencia): P / Q P 8. Conmutacin (Permutacin): (P Q) (Q P); (P Q) (Q P) 9. Contraposicin (Transposicin): (P Q) (Q P) 10. De Morgan: (P Q) (P Q); (P Q) (P Q) 11. Definicin de la Equivalencia Material (Bicondicional Material): (P Q) [(P Q) (Q P)] [(P Q) (P Q)] 12. Definicin de la Implicacin Material (Condicional Material): (P Q) (P v Q) (P Q) 13. Dilema Constructivo: (P R), (Q S), (P Q) / R S 14. Dilema Destructivo: (P Q), (R S), (Q S) / P R

15. Distribucin: [P (Q R)] [(P Q) (P R)]; [P (Q R)] [(P Q) (P R)] 16. Doble Negacin: P / P 17. Exportacin: [(P Q) R] / [P (Q R)] 19. Identidad: P P 18. Idempotencia (Tautologa): (P P) (P P) P 20. Importacin: [P (Q R)] [(P Q) R] 21. Modus Ponens: P Q, P / Q 22. Modus Tollens: P Q, Q / P 23. "Paradojas'' de la Implicacin Material: Q / (P Q); P / (P Q); (P Q) (Q P) 24. Principio Conmutativo: [P (Q R)] [Q (P R)] 25. Principio del Pseudo Scoto: P P / Q 26. Principio del Factor: P Q / [(P R) (Q R)] 27. Principio de No Contradiccin: (P P) 28. Principio del Tercio Excluso: P P

29. Reduccin al Absurdo (Ley de Clavius): (P P) P; (P P) P 30. Silogismo Disyuntivo (Modus Tollendo Ponens): P Q, P / Q 31. Silogismo Hipottico: P Q, Q R / P R

32. Simplificacin: P Q / P; P Q / Q