Reglas de inferencia lgica

1. Modus Ponendo Ponens (MPP)

2.
3. A B
4. A
5. ---------6. B
7.
8.
9.
10. Modus Tollendo Tollens (MTT)
11.
12. A B
13. -B
14. -----------15. -A
16.
17.
18.
19. Silogismo Disyuntivo (SD)
20.
21. A v B
22. -A
23. -----------24. B
25.
26.
27. Silogismo Hipottico (SH)
28.
29. A B
30. B C
31. -----------32. A C
33.
34.
35. Dilema Constructivo (DC)
36.
37. A B

38. CD
39. A v C
40. ----------41. B v D
42.
43.
44. Dilema Destructivo (DD)
45.
46. A B
47. C D
48. -B v D
49. ------------50. -A v C
51. Simplificacin (Simpl.)
52.
53. A B
54. --------55. A
56.
57.
58. Adicin (Adic.)
59.
60. A
61. --------62. A v B
63.
64.
65.
66. Conjuncin (Conj.)
67.
68. A
69. B
70. -------71. A B
72.
73.
74. Reemplazo de equivalentes (RE)