Changes

MyWikiBiz, Author Your Legacy — Thursday November 14, 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 &mdash; where the values <math>p, q\!</math> are drawn from the boolean domain <math>\mathbb{B} = \{0, 1 \}</math> &mdash; and written as an order law, its sense may become more sensible:
 
Read as a statement about the values of propositions &mdash; where the values <math>p, q\!</math> are drawn from the boolean domain <math>\mathbb{B} = \{0, 1 \}</math> &mdash; and written as an order law, its sense may become more sensible:
12,080

edits

Navigation menu