MyWikiBiz, Author Your Legacy — Tuesday October 28, 2025
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: |