MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
18 bytes added
, 15:08, 6 December 2008
Line 274: |
Line 274: |
| : <math>(p \Rightarrow q) \lor (q \Rightarrow p)</math> | | : <math>(p \Rightarrow q) \lor (q \Rightarrow p)</math> |
| | | |
− | The proposition may appear counter-intuitive on some ways of reading it, and it is usually excluded from intuitionist propositional calculi. | + | The proposition may appear counter-intuitive on some ways of reading it, and it is usually excluded from the theorems of intuitionistic propositional calculi. |
| | | |
| Read as a statement about the values of propositions — where the values <math>p, q\!</math> are drawn from the boolean domain <math>\mathbb{B} = \{0, 1 \}</math> — and written as an order law, its sense may become more sensible: | | Read as a statement about the values of propositions — where the values <math>p, q\!</math> are drawn from the boolean domain <math>\mathbb{B} = \{0, 1 \}</math> — and written as an order law, its sense may become more sensible: |