Changes

1,080 bytes added ,  01:30, 1 April 2010
→‎Equational form: break monolithic storyboard into components + animation
Line 114: 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]] || (4)
+
| [[Image:Peirce's Law Strong Form 1.0 Splash Page|500px]] || (4)
 
|}
 
|}
    
Using the axioms and theorems listed in the article on [[logical graphs]], the equational form of Peirce's law may be proved in the following manner:
 
Using the axioms and theorems listed in the article on [[logical graphs]], the equational form of 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_4.jpg|500px]] || (5)
+
|
 +
{| 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 Strong Form 1.0 Marquee Title.png|500px]]
 +
|-
 +
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 1.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Collect p.png|500px]]
 +
|-
 +
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 2.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Quit ((q)).png|500px]]
 +
|-
 +
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 3.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Rule Cancel (( )).png|500px]]
 +
|-
 +
| [[Image:Peirce's Law Strong Form 1.0 Storyboard 4.png|500px]]
 +
|-
 +
| [[Image:Equational Inference Marquee QED.png|500px]]
 +
|}
 +
| (5)
 +
|}
 +
 
 +
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 Strong form 2.0 Animation.gif]]
 +
|}
 +
| (6)
 
|}
 
|}
  
12,080

edits