12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to search→ Graphical proof: JPEG → PNG + animation
Line 42:
Line 42:
+
+
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
−| [[Image:Peirce's_Law_Figure_1.jpg|500px]] || (1)
+| [[Image:Peirce's Law 1.0 Splash Page.png|500px]] || (1)
|}
|}
'''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"
+{| align="center" cellpadding="8"
−| [[Image:Peirce's_Law_Figure_2.jpg|500px]] || (2)
+|
+{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
+|-
+| [[Image:Peirce's Law 1.0 Marquee Title.png|500px]]
+|-
+| [[Image:Peirce's Law 1.0 Storyboard 1.png|500px]]
+|-
+| [[Image:Equational Inference Band Collect p.png|500px]]
+|-
+| [[Image:Peirce's Law 1.0 Storyboard 2.png|500px]]
+|-
+| [[Image:Equational Inference Band Quit ((q)).png|500px]]
+|-
+| [[Image:Peirce's Law 1.0 Storyboard 3.png|500px]]
+|-
+| [[Image:Equational Inference Band Cancel (( )).png|500px]]
+|-
+| [[Image:Peirce's Law 1.0 Storyboard 4.png|500px]]
+|-
+| [[Image:Equational Inference Band Delete p.png|500px]]
+|-
+| [[Image:Peirce's Law 1.0 Storyboard 5.png|500px]]
+|-
+| [[Image:Equational Inference Band Cancel (( )).png|500px]]
+|-
+| [[Image:Peirce's Law 1.0 Storyboard 6.png|500px]]
+|-
+| [[Image:Equational Inference Marquee QED.png|500px]]
+|}
+| (2)
+|}
+The following animation replays the steps of the proof.
+{| align="center" cellpadding="8"
+|
+{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
+|-
+| [[Image:Peirce's Law 2.0 Animation.gif]]
+|}
+| (3)
|}
|}
Line 74:
Line 114:
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
−| [[Image:Peirce's_Law_Figure_3.jpg|500px]] || (3)
+| [[Image:Peirce's_Law_Figure_3.jpg|500px]] || (4)
|}
|}
Line 80:
Line 120:
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
−| [[Image:Peirce's_Law_Figure_4.jpg|500px]] || (4)
+| [[Image:Peirce's_Law_Figure_4.jpg|500px]] || (5)
|}
|}
