Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- "1. ((~C->((~C->~C)->~C))->((~C->(~C->~C))->(~C->~C))) Axiom (A2)
- 2. (~C->((~C->~C)->~C)) Axiom (A1)
- 3. ((~C->(~C->~C))->(~C->~C)) Modus Ponens: 2, 1
- 4. (~C->(~C->~C)) Axiom (A1)
- 5. (~C->~C) Modus Ponens: 4, 3
- 6. (~C->(C->~C)) Axiom (A1)
- 7. ((~C->(C->~C))->(~C->(~C->(C->~C)))) Axiom (A1)
- 8. (~C->(~C->(C->~C))) Modus Ponens: 6, 7
- 9. ((~C->(~C->(C->~C)))->((~C->~C)->(~C->(C->~C)))) Axiom (A2)
- 10. ((~C->~C)->(~C->(C->~C))) Modus Ponens: 8, 9
- 11. ((C->((C->C)->C))->((C->(C->C))->(C->C))) Axiom (A2)
- 12. (((C->((C->C)->C))->((C->(C->C))->(C->C)))->(~C->((C->((C->C)->C))->((C->(C->C))->(C->C))))) Axiom (A1)
- 13. (~C->((C->((C->C)->C))->((C->(C->C))->(C->C)))) Modus Ponens: 11, 12
- 14. (C->((C->C)->C)) Axiom (A1)
- 15. ((C->((C->C)->C))->(~C->(C->((C->C)->C)))) Axiom (A1)
- 16. (~C->(C->((C->C)->C))) Modus Ponens: 14, 15
- 17. ((~C->((C->((C->C)->C))->((C->(C->C))->(C->C))))->((~C->(C->((C->C)->C)))->(~C->((C->(C->C))->(C->C))))) Axiom (A2)
- 18. ((~C->(C->((C->C)->C)))->(~C->((C->(C->C))->(C->C)))) Modus Ponens: 13, 17
- 19. (~C->((C->(C->C))->(C->C))) Modus Ponens: 16, 18
- 20. (C->(C->C)) Axiom (A1)
- 21. ((C->(C->C))->(~C->(C->(C->C)))) Axiom (A1)
- 22. (~C->(C->(C->C))) Modus Ponens: 20, 21
- 23. ((~C->((C->(C->C))->(C->C)))->((~C->(C->(C->C)))->(~C->(C->C)))) Axiom (A2)
- 24. ((~C->(C->(C->C)))->(~C->(C->C))) Modus Ponens: 19, 23
- 25. (~C->(C->C)) Modus Ponens: 22, 24
- 26. (C->(~D->C)) Axiom (A1)
- 27. ((C->(~D->C))->(~C->(C->(~D->C)))) Axiom (A1)
- 28. (~C->(C->(~D->C))) Modus Ponens: 26, 27
- 29. ((C->(~D->C))->(C->(C->(~D->C)))) Axiom (A1)
- 30. (((C->(~D->C))->(C->(C->(~D->C))))->(~C->((C->(~D->C))->(C->(C->(~D->C)))))) Axiom (A1)
- 31. (~C->((C->(~D->C))->(C->(C->(~D->C))))) Modus Ponens: 29, 30
- 32. ((~C->((C->(~D->C))->(C->(C->(~D->C)))))->((~C->(C->(~D->C)))->(~C->(C->(C->(~D->C)))))) Axiom (A2)
- 33. ((~C->(C->(~D->C)))->(~C->(C->(C->(~D->C))))) Modus Ponens: 31, 32
- 34. (~C->(C->(C->(~D->C)))) Modus Ponens: 28, 33
- 35. (~C->(~D->~C)) Axiom (A1)
- 36. ((~C->(~D->~C))->(~C->(~C->(~D->~C)))) Axiom (A1)
- 37. (~C->(~C->(~D->~C))) Modus Ponens: 35, 36
- 38. ((~C->(~D->~C))->(C->(~C->(~D->~C)))) Axiom (A1)
- 39. (((~C->(~D->~C))->(C->(~C->(~D->~C))))->(~C->((~C->(~D->~C))->(C->(~C->(~D->~C)))))) Axiom (A1)
- 40. (~C->((~C->(~D->~C))->(C->(~C->(~D->~C))))) Modus Ponens: 38, 39
- 41. ((~C->((~C->(~D->~C))->(C->(~C->(~D->~C)))))->((~C->(~C->(~D->~C)))->(~C->(C->(~C->(~D->~C)))))) Axiom (A2)
- 42. ((~C->(~C->(~D->~C)))->(~C->(C->(~C->(~D->~C))))) Modus Ponens: 40, 41
- 43. (~C->(C->(~C->(~D->~C)))) Modus Ponens: 37, 42
- 44. ((C->(C->(~D->C)))->((C->C)->(C->(~D->C)))) Axiom (A2)
- 45. (((C->(C->(~D->C)))->((C->C)->(C->(~D->C))))->(~C->((C->(C->(~D->C)))->((C->C)->(C->(~D->C)))))) Axiom (A1)
- 46. (~C->((C->(C->(~D->C)))->((C->C)->(C->(~D->C))))) Modus Ponens: 44, 45
- 47. ((~C->((C->(C->(~D->C)))->((C->C)->(C->(~D->C)))))->((~C->(C->(C->(~D->C))))->(~C->((C->C)->(C->(~D->C)))))) Axiom (A2)
- 48. ((~C->(C->(C->(~D->C))))->(~C->((C->C)->(C->(~D->C))))) Modus Ponens: 46, 47
- 49. (~C->((C->C)->(C->(~D->C)))) Modus Ponens: 34, 48
- 50. ((~C->((C->C)->(C->(~D->C))))->((~C->(C->C))->(~C->(C->(~D->C))))) Axiom (A2)
- 51. ((~C->(C->C))->(~C->(C->(~D->C)))) Modus Ponens: 49, 50
- 52. ((C->(~C->(~D->~C)))->((C->~C)->(C->(~D->~C)))) Axiom (A2)
- 53. (((C->(~C->(~D->~C)))->((C->~C)->(C->(~D->~C))))->(~C->((C->(~C->(~D->~C)))->((C->~C)->(C->(~D->~C)))))) Axiom (A1)
- 54. (~C->((C->(~C->(~D->~C)))->((C->~C)->(C->(~D->~C))))) Modus Ponens: 52, 53
- 55. ((~C->((C->(~C->(~D->~C)))->((C->~C)->(C->(~D->~C)))))->((~C->(C->(~C->(~D->~C))))->(~C->((C->~C)->(C->(~D->~C)))))) Axiom (A2)
- 56. ((~C->(C->(~C->(~D->~C))))->(~C->((C->~C)->(C->(~D->~C))))) Modus Ponens: 54, 55
- 57. (~C->((C->~C)->(C->(~D->~C)))) Modus Ponens: 43, 56
- 58. ((~C->((C->~C)->(C->(~D->~C))))->((~C->(C->~C))->(~C->(C->(~D->~C))))) Axiom (A2)
- 59. ((~C->(C->~C))->(~C->(C->(~D->~C)))) Modus Ponens: 57, 58
- 60. (~C->(C->(~D->~C))) Modus Ponens: 6, 59
- 61. ((~D->~C)->((~D->C)->D)) Axiom (A3)
- 62. (((~D->~C)->((~D->C)->D))->(~C->((~D->~C)->((~D->C)->D)))) Axiom (A1)
- 63. (~C->((~D->~C)->((~D->C)->D))) Modus Ponens: 61, 62
- 64. (((~D->~C)->((~D->C)->D))->(C->((~D->~C)->((~D->C)->D)))) Axiom (A1)
- 65. ((((~D->~C)->((~D->C)->D))->(C->((~D->~C)->((~D->C)->D))))->(~C->(((~D->~C)->((~D->C)->D))->(C->((~D->~C)->((~D->C)->D)))))) Axiom (A1)
- 66. (~C->(((~D->~C)->((~D->C)->D))->(C->((~D->~C)->((~D->C)->D))))) Modus Ponens: 64, 65
- 67. ((~C->(((~D->~C)->((~D->C)->D))->(C->((~D->~C)->((~D->C)->D)))))->((~C->((~D->~C)->((~D->C)->D)))->(~C->(C->((~D->~C)->((~D->C)->D)))))) Axiom (A2)
- 68. ((~C->((~D->~C)->((~D->C)->D)))->(~C->(C->((~D->~C)->((~D->C)->D))))) Modus Ponens: 66, 67
- 69. (~C->(C->((~D->~C)->((~D->C)->D)))) Modus Ponens: 63, 68
- 70. ((C->((~D->~C)->((~D->C)->D)))->((C->(~D->~C))->(C->((~D->C)->D)))) Axiom (A2)
- 71. (((C->((~D->~C)->((~D->C)->D)))->((C->(~D->~C))->(C->((~D->C)->D))))->(~C->((C->((~D->~C)->((~D->C)->D)))->((C->(~D->~C))->(C->((~D->C)->D)))))) Axiom (A1)
- 72. (~C->((C->((~D->~C)->((~D->C)->D)))->((C->(~D->~C))->(C->((~D->C)->D))))) Modus Ponens: 70, 71
- 73. ((~C->((C->((~D->~C)->((~D->C)->D)))->((C->(~D->~C))->(C->((~D->C)->D)))))->((~C->(C->((~D->~C)->((~D->C)->D))))->(~C->((C->(~D->~C))->(C->((~D->C)->D)))))) Axiom (A2)
- 74. ((~C->(C->((~D->~C)->((~D->C)->D))))->(~C->((C->(~D->~C))->(C->((~D->C)->D))))) Modus Ponens: 72, 73
- 75. (~C->((C->(~D->~C))->(C->((~D->C)->D)))) Modus Ponens: 69, 74
- 76. ((~C->((C->(~D->~C))->(C->((~D->C)->D))))->((~C->(C->(~D->~C)))->(~C->(C->((~D->C)->D))))) Axiom (A2)
- 77. ((~C->(C->(~D->~C)))->(~C->(C->((~D->C)->D)))) Modus Ponens: 75, 76
- 78. (~C->(C->((~D->C)->D))) Modus Ponens: 60, 77
- 79. ((C->((~D->C)->D))->((C->(~D->C))->(C->D))) Axiom (A2)
- 80. (((C->((~D->C)->D))->((C->(~D->C))->(C->D)))->(~C->((C->((~D->C)->D))->((C->(~D->C))->(C->D))))) Axiom (A1)
- 81. (~C->((C->((~D->C)->D))->((C->(~D->C))->(C->D)))) Modus Ponens: 79, 80
- 82. ((~C->((C->((~D->C)->D))->((C->(~D->C))->(C->D))))->((~C->(C->((~D->C)->D)))->(~C->((C->(~D->C))->(C->D))))) Axiom (A2)
- 83. ((~C->(C->((~D->C)->D)))->(~C->((C->(~D->C))->(C->D)))) Modus Ponens: 81, 82
- 84. (~C->((C->(~D->C))->(C->D))) Modus Ponens: 78, 83
- 85. ((~C->((C->(~D->C))->(C->D)))->((~C->(C->(~D->C)))->(~C->(C->D)))) Axiom (A2)
- 86. ((~C->(C->(~D->C)))->(~C->(C->D))) Modus Ponens: 84, 85
- 87. (~C->(C->D)) Modus Ponens: 28, 86
Add Comment
Please, Sign In to add comment