12,140
edits
Changes
renumber figures
|}
|}
The existential graph representation of Peirce's law is shown in Figure 31.
The existential graph representation of Peirce's law is shown in Figure 34.
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_31.jpg|500px]] || (33)
| [[Image:Logical_Graph_Figure_31.jpg|500px]] || (34)
|}
|}
A graphical proof of Peirce's law is shown in Figure 32.
A graphical proof of Peirce's law is shown in Figure 35.
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_32.jpg|500px]] || (34)
| [[Image:Logical_Graph_Figure_32.jpg|500px]] || (35)
|}
|}
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_33.jpg|500px]] || (35)
| [[Image:Logical_Graph_Figure_33.jpg|500px]] || (36)
|}
|}
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_34.jpg|500px]] || (36)
| [[Image:Logical_Graph_Figure_34.jpg|500px]] || (37)
|}
|}
a b + a c + b c
a b + a c + b c
\end{matrix}</math>
\end{matrix}</math>
| (37)
| (38)
|}
|}
| [[Image:Equational Inference QED.png|500px]]
| [[Image:Equational Inference QED.png|500px]]
|}
|}
| (38)
| (39)
|}
|}
| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
| [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]]
|}
|}
| (39)
| (40)
|}
|}