MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
4 bytes removed
, 15:02, 6 December 2008
Line 268: |
Line 268: |
| : <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: |