12,080
edits
Changes
→Reports of my counter-intuitiveness are greatly exaggerated: sp [intuitionistic]
: <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: