MyWikiBiz, Author Your Legacy — Tuesday April 30, 2024
Jump to navigationJump to search
1,234 bytes added
, 18:44, 31 March 2010
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) |
| |} | | |} |
| | | |