Timeline for Number of distinct variables used in axiomatizating (Classical) Propositional Logic
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 25, 2016 at 21:00 | comment | added | Doug Spoonwood | For Question 1, how many atomic sentences does C$\delta$$\delta$0$\delta$p have? I note that since it qualifies as a sole axiom for the extended propositional propositional calculus, it qualifies as sufficient for classical propositional calculus. It is also sound. | |
| Jul 20, 2016 at 0:41 | history | answered | J Marcos | CC BY-SA 3.0 |