Changes

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 &mdash; that is, values <math>p, q \in \mathbb{B} = \{0, 1 \}</math> &mdash; 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>
12,080

edits

Navigation menu