12,089
edits
Changes
→Exemplary proofs: del unnec specs
Peirce's law is commonly written in the following form:
Peirce's law is commonly written in the following form:
{| align="center" cellpadding="10"
| <math>((p \Rightarrow q) \Rightarrow p) \Rightarrow p</math>
|}
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 31.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_31.jpg|500px]] || (31)
| [[Image:Logical_Graph_Figure_31.jpg|500px]] || (31)
|}
|}
A graphical proof of Peirce's law is shown in Figure 32.
A graphical proof of Peirce's law is shown in Figure 32.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_32.jpg|500px]] || (32)
| [[Image:Logical_Graph_Figure_32.jpg|500px]] || (32)
|}
|}
Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph.
Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_33.jpg|500px]] || (33)
| [[Image:Logical_Graph_Figure_33.jpg|500px]] || (33)
|}
|}
And here's a neat proof of that nice theorem.
And here's a neat proof of that nice theorem.
{| align="center" border="0" cellpadding="10" cellspacing="0"
{| align="center" cellpadding="10"
| [[Image:Logical_Graph_Figure_34.jpg|500px]] || (34)
| [[Image:Logical_Graph_Figure_34.jpg|500px]] || (34)
|}
|}