Line 424: |
Line 424: |
| |} | | |} |
| | | |
− | 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) |
| |} | | |} |
| | | |
Line 457: |
Line 457: |
| | | |
| {| align="center" cellpadding="10" | | {| align="center" cellpadding="10" |
− | | [[Image:Logical_Graph_Figure_33.jpg|500px]] || (35) | + | | [[Image:Logical_Graph_Figure_33.jpg|500px]] || (36) |
| |} | | |} |
| | | |
Line 463: |
Line 463: |
| | | |
| {| align="center" cellpadding="10" | | {| align="center" cellpadding="10" |
− | | [[Image:Logical_Graph_Figure_34.jpg|500px]] || (36) | + | | [[Image:Logical_Graph_Figure_34.jpg|500px]] || (37) |
| |} | | |} |
| | | |
Line 479: |
Line 479: |
| a b + a c + b c | | a b + a c + b c |
| \end{matrix}</math> | | \end{matrix}</math> |
− | | (37) | + | | (38) |
| |} | | |} |
| | | |
Line 526: |
Line 526: |
| | [[Image:Equational Inference QED.png|500px]] | | | [[Image:Equational Inference QED.png|500px]] |
| |} | | |} |
− | | (38) | + | | (39) |
| |} | | |} |
| | | |
Line 537: |
Line 537: |
| | [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]] | | | [[Image:Two-Thirds Majority Function 500 x 250 Animation.gif]] |
| |} | | |} |
− | | (39) | + | | (40) |
| |} | | |} |
| | | |