12,080
edits
Changes
→Peirce's law: try to untangle syntax a bit
</center>
</center>
Figure 31 represents Peirce's law as a tree-form logical graph, effecting the translation under the existential interpretation.
The existential graph representation of Peirce's law is shown in Figure 31.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" border="0" cellpadding="10" cellspacing="0"
|}
|}
A graphical proof of Peirce's law is shown in Figure 32.
<pre>
<pre>