12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to search→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>
