Changes

Logical graph (view source)

8 bytes removed , 18:04, 30 August 2008

Line 323: Line 323:

''[[Peirce's law|Main article: Peirce's law]]''

−

~~This section presents a proof of~~ Peirce's law, commonly written:

+

Peirce's law is commonly written in the following form:

Line 329: Line 329:

</center>

−

Figure 31 ~~shows the representation of~~ Peirce's law as a tree-form logical graph, ~~as it appears~~ under the existential interpretation.

+

Figure 31 represents Peirce's law as a tree-form logical graph, effecting the translation under the existential interpretation.

{| align="center" border="0" cellpadding="10" cellspacing="0"

Line 335: Line 335:

|}

−

~~Finally, here is the promised~~ proof of Peirce's law:

+

Figure 32 presents a graphical proof of Peirce's law:

<pre>

12,089

edits