12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchASCII → JPEG
Line 33:
Line 33:
<blockquote><pre>+o-----------------------------------------------------------o+o-----------------------------------------------------------o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . p o---o q . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−o-----------------------------------------------------------o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . .(((p (q)) (p)) (p))) . = . . . . . . . . . . . . . . |
−o-----------------------------------------------------------o
−</pre></blockquote>
<blockquote><pre>+o-----------------------------------------------------------o+| Peirce's Law. . Proof . . . . . . . . . . . . . . . . . . |+o-----------------------------------------------------------o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . p o---o q . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−o==================================< Collect >==============o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o q . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . p o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−o==================================< Recess >===============o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . p o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−o==================================< Refold >===============o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . p o---o p . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−o==================================< Delete >===============o
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . o---o . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . | . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−o==================================< Refold >===============o
−o==================================< QED >==================o
−</pre></blockquote>
Under the existential interpretation of Peirce's [[logical graph]]s, Peirce's law is represented by means of the following formal equivalence or logical equation.
Under the existential interpretation of Peirce's [[logical graph]]s, Peirce's law is represented by means of the following formal equivalence or logical equation.
−{| align="center" border="0" cellpadding="10" cellspacing="0"
−| [[Image:Peirce's_Law_Figure_1.jpg|500px]] || (1)
−| Peirce's Law. . . . . . . . . . . . . . . . . . . . . . . |
+|}
−| . . . . . @ . . . . . . . . = . . . . . . . . . @ . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−'''Proof.''' Using the axiom set given in the entry for [[logical graphs]], Peirce's law may be proved in the following manner.
'''Proof.''' Using the axiom set given in the entry for [[logical graphs]], Peirce's law may be proved in the following manner.
−{| align="center" border="0" cellpadding="10" cellspacing="0"
−| [[Image:Peirce's_Law_Figure_2.jpg|500px]] || (2)
−|}
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . @ . . . . . . . . . . . . . . . . . . . . . . . |
−| . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
−==Bibliography==
==Bibliography==
