Changes

MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
427 bytes added ,  04:38, 6 December 2008
→‎Logical Graph Sandbox: dichotomy principle
Line 217: Line 217:  
==Logical Graph Sandbox==
 
==Logical Graph Sandbox==
   −
More thoughts on Peirce's law …
+
===More thoughts on Peirce's law===
    
1-way version
 
1-way version
Line 267: Line 267:     
: <math>ab \lor a = a</math>
 
: <math>ab \lor a = a</math>
 +
 +
===The allegedly counterintuitive dichotomy law===
 +
 +
It is usually written in this form:
 +
 +
: <math>(p \Rightarrow q) \lor (q \Rightarrow p)</math>
 +
 +
Written as an order law, its sense is more sensible:
 +
 +
: <math>(p \le q) \lor (q \le p)</math>
 +
 +
Here it is in logical graphs:
 +
 +
<pre>
 +
 +
      q o  o p
 +
        |  |
 +
      p o  o q
 +
        |  |
 +
        o  o
 +
        \ /
 +
          o
 +
          |
 +
          @        =        @
 +
</pre>
12,080

edits

Navigation menu