MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
334 bytes added
, 14:56, 6 December 2008
Line 268: |
Line 268: |
| : <math>ab \lor a = a</math> | | : <math>ab \lor a = a</math> |
| | | |
− | ===The allegedly counterintuitive dichotomy law=== | + | ===Reports of my counter-intuitiveness are are greatly exaggerated=== |
| | | |
− | It is usually written in this form:
| + | We have the following theorem of classical propositional calculus: |
| | | |
| : <math>(p \Rightarrow q) \lor (q \Rightarrow p)</math> | | : <math>(p \Rightarrow q) \lor (q \Rightarrow p)</math> |
| | | |
− | Written as an order law, its sense is more sensible:
| + | The proposition may appear counter-intuitive on some ways of reading it, and it is usually excluded from intuitionist propositional calculi. |
| + | |
| + | Read as a statement about the values of propositions — that is, values <math>p, q \in \mathbb{B} = \{0, 1 \}</math> — and written as an order law, its sense may become more sensible: |
| | | |
| : <math>(p \le q) \lor (q \le p)</math> | | : <math>(p \le q) \lor (q \le p)</math> |