12,080
edits
Changes
→Reports of my counter-intuitiveness are greatly exaggerated: cleanup typos
: <math>ab \lor a = a</math>
: <math>ab \lor a = a</math>
===Reports of my counter-intuitiveness are are greatly exaggerated===
===Reports of my counter-intuitiveness are greatly exaggerated===
We have the following theorem of classical propositional calculus:
We have the following theorem of classical propositional calculus: