12,080
edits
Changes
→Peirce's law: break monolithic storyboard into components
|}
|}
The existential graph representation of Peirce's law is shown in Figure 34.
The existential graph representation of Peirce's law is shown in Figure 33.
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_31.jpg|500px]] || (34)
| [[Image:Peirce's Law 1.0 Splash Page.png|500px]] || (33)
|}
|}
A graphical proof of Peirce's law is shown in Figure 35.
A graphical proof of Peirce's law is shown in Figure 34.
{| align="center" cellpadding="10"
{| align="center" cellpadding="8"
| [[Image:Logical_Graph_Figure_32.jpg|500px]] || (35)
|
{| 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 Banner 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 Band QED.png|500px]]
|}
| (34)
|}
|}