Line 15:
Line 15:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_3_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_3_Visible_Frame.jpg|500px]]
|}
|}
Line 31:
Line 31:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_4_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_4_Visible_Frame.jpg|500px]]
|}
|}
Line 39:
Line 39:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_5_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_5_Visible_Frame.jpg|500px]]
|}
|}
Line 47:
Line 47:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_6_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_6_Visible_Frame.jpg|500px]]
|}
|}
Line 55:
Line 55:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_14_Banner.jpg|500px]]
+
| [[File:Logical_Graph_Figure_14_Banner.jpg|500px]]
|-
|-
−
| [[Image:Logical_Graph_Figure_15_Banner.jpg|500px]]
+
| [[File:Logical_Graph_Figure_15_Banner.jpg|500px]]
|}
|}
Line 67:
Line 67:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_11_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_11_Visible_Frame.jpg|500px]]
|}
|}
Line 79:
Line 79:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_12_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_12_Visible_Frame.jpg|500px]]
|}
|}
Line 85:
Line 85:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_13_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_13_Visible_Frame.jpg|500px]]
|}
|}
Line 95:
Line 95:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_7_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_7_Visible_Frame.jpg|500px]]
|}
|}
Line 101:
Line 101:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_8_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_8_Visible_Frame.jpg|500px]]
|}
|}
Line 107:
Line 107:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_9_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_9_Visible_Frame.jpg|500px]]
|}
|}
Line 113:
Line 113:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_10_Visible_Frame.jpg|500px]]
+
| [[File:Logical_Graph_Figure_10_Visible_Frame.jpg|500px]]
|}
|}
Line 213:
Line 213:
| width="5%" |
| width="5%" |
| width="5%" | <math>\mathrm{En}_\text{sem} :</math>
| width="5%" | <math>\mathrm{En}_\text{sem} :</math>
−
| width="5%" align="center" | [[Image:Rooted Node Big.jpg|16px]]
+
| width="5%" align="center" | [[File:Rooted Node Big.jpg|16px]]
| width="5%" | <math>\mapsto</math>
| width="5%" | <math>\mapsto</math>
| <math>\mathrm{false},</math>
| <math>\mathrm{false},</math>
Line 219:
Line 219:
|
|
|
|
−
| align="center" | [[Image:Rooted Edge Big.jpg|12px]]
+
| align="center" | [[File:Rooted Edge Big.jpg|12px]]
| <math>\mapsto</math>
| <math>\mapsto</math>
| <math>\mathrm{true}.</math>
| <math>\mathrm{true}.</math>
Line 225:
Line 225:
|
|
| <math>\mathrm{Ex}_\text{sem} :</math>
| <math>\mathrm{Ex}_\text{sem} :</math>
−
| align="center" | [[Image:Rooted Node Big.jpg|16px]]
+
| align="center" | [[File:Rooted Node Big.jpg|16px]]
| <math>\mapsto</math>
| <math>\mapsto</math>
| <math>\mathrm{true},</math>
| <math>\mathrm{true},</math>
Line 231:
Line 231:
|
|
|
|
−
| align="center" | [[Image:Rooted Edge Big.jpg|12px]]
+
| align="center" | [[File:Rooted Edge Big.jpg|12px]]
| <math>\mapsto</math>
| <math>\mapsto</math>
| <math>\mathrm{false}.</math>
| <math>\mathrm{false}.</math>
Line 283:
Line 283:
|}
|}
−
The functional images of the syntactic reduction map <math>\mathrm{E}_\text{syn} : Y \to Y_0</math> are the two simplest signs or the most reduced pair of expressions, regarded as the rooted trees [[Image:Rooted Node.jpg|16px]] and [[Image:Rooted Edge.jpg|12px]], and these may be treated as the canonical representatives of their respective equivalence classes.
+
The functional images of the syntactic reduction map <math>\mathrm{E}_\text{syn} : Y \to Y_0</math> are the two simplest signs or the most reduced pair of expressions, regarded as the rooted trees [[File:Rooted Node Big.jpg|16px]] and [[File:Rooted Edge Big.jpg|12px]], and these may be treated as the canonical representatives of their respective equivalence classes.
The more Peirce-sistent among you, on contemplating that last picture, will naturally ask, "What happened to the irreducible 3-adicity of sign relations in this portrayal of logical graphs?"
The more Peirce-sistent among you, on contemplating that last picture, will naturally ask, "What happened to the irreducible 3-adicity of sign relations in this portrayal of logical graphs?"
Line 350:
Line 350:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_14_Banner.jpg|500px]]
+
| [[File:Logical_Graph_Figure_14_Banner.jpg|500px]]
|-
|-
−
| [[Image:Logical_Graph_Figure_15_Banner.jpg|500px]]
+
| [[File:Logical_Graph_Figure_15_Banner.jpg|500px]]
|}
|}
Line 364:
Line 364:
| <math>S_0~\!</math>
| <math>S_0~\!</math>
| <math>=~\!</math>
| <math>=~\!</math>
−
| <math>\{ \ominus, \vert \} = \{</math>[[Image:Rooted Node.jpg|16px]], [[Image:Rooted Edge.jpg|12px]]<math>\}~\!</math>
+
| <math>\{ \ominus, \vert \} = \{</math>[[File:Rooted Node Big.jpg|16px]], [[File:Rooted Edge Big.jpg|12px]]<math>\}~\!</math>
|}
|}
−
Simple intuition, or a simple inductive proof, assures us that any rooted tree can be reduced by way of the arithmetic initials either to a root node [[Image:Rooted Node.jpg|16px]] or else to a rooted edge [[Image:Rooted Edge.jpg|12px]] .
+
Simple intuition, or a simple inductive proof, assures us that any rooted tree can be reduced by way of the arithmetic initials either to a root node [[File:Rooted Node Big.jpg|16px]] or else to a rooted edge [[File:Rooted Edge Big.jpg|12px]] .
For example, consider the reduction that proceeds as follows:
For example, consider the reduction that proceeds as follows:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_16.jpg|500px]]
+
| [[File:Logical_Graph_Figure_16.jpg|500px]]
|}
|}
Line 386:
Line 386:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_16.jpg|500px]]
+
| [[File:Logical_Graph_Figure_16.jpg|500px]]
|}
|}
Line 394:
Line 394:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_17.jpg|500px]]
+
| [[File:Logical_Graph_Figure_17.jpg|500px]]
|}
|}
Line 402:
Line 402:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_18.jpg|500px]]
+
| [[File:Logical_Graph_Figure_18.jpg|500px]]
|-
|-
−
| [[Image:Logical_Graph_Figure_19.jpg|500px]]
+
| [[File:Logical_Graph_Figure_19.jpg|500px]]
|}
|}
Line 646:
Line 646:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_20.jpg|500px]]
+
| [[File:Logical_Graph_Figure_20.jpg|500px]]
|-
|-
−
| [[Image:Logical_Graph_Figure_21.jpg|500px]]
+
| [[File:Logical_Graph_Figure_21.jpg|500px]]
|-
|-
−
| [[Image:Logical_Graph_Figure_22.jpg|500px]]
+
| [[File:Logical_Graph_Figure_22.jpg|500px]]
|-
|-
−
| [[Image:Logical_Graph_Figure_23.jpg|500px]]
+
| [[File:Logical_Graph_Figure_23.jpg|500px]]
|}
|}
Line 670:
Line 670:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_24.jpg|500px]]
+
| [[File:Logical_Graph_Figure_24.jpg|500px]]
|}
|}
Line 676:
Line 676:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_25.jpg|500px]]
+
| [[File:Logical_Graph_Figure_25.jpg|500px]]
|}
|}
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_26.jpg|500px]]
+
| [[File:Logical_Graph_Figure_26.jpg|500px]]
|}
|}
Line 688:
Line 688:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_27.jpg|500px]]
+
| [[File:Logical_Graph_Figure_27.jpg|500px]]
|}
|}
Line 694:
Line 694:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_28.jpg|500px]]
+
| [[File:Logical_Graph_Figure_28.jpg|500px]]
|}
|}
Line 875:
Line 875:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_29.jpg|500px]]
+
| [[File:Logical_Graph_Figure_29.jpg|500px]]
|}
|}
Line 881:
Line 881:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_30.jpg|500px]]
+
| [[File:Logical_Graph_Figure_30.jpg|500px]]
|}
|}
Line 901:
Line 901:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_31.jpg|500px]]
+
| [[File:Logical_Graph_Figure_31.jpg|500px]]
|}
|}
Line 907:
Line 907:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_32.jpg|500px]]
+
| [[File:Logical_Graph_Figure_32.jpg|500px]]
|}
|}
Line 931:
Line 931:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_33.jpg|500px]]
+
| [[File:Logical_Graph_Figure_33.jpg|500px]]
|}
|}
Line 937:
Line 937:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_34.jpg|500px]]
+
| [[File:Logical_Graph_Figure_34.jpg|500px]]
|}
|}
Line 1,578:
Line 1,578:
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 00.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 00.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 01.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 01.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast A.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast A.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 02.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 02.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 03.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 03.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 04.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 04.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 05.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 05.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 06.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 06.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast D.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast D.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 07.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 07.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 08.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 08.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 09.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 09.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 10.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 10.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 11.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 11.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast B.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast B.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 12.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 12.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 13.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 13.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 14.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 14.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 15.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 15.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast C ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast C ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 16.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 16.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 17.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 17.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof Praeclarum Theorema CAST 18.jpg|500px]]
+
| [[File:Proof Praeclarum Theorema CAST 18.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
+
| [[File:Equational Inference Bar -- QED.jpg|500px]]
|}
|}
|}
|}
Line 1,660:
Line 1,660:
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
−
| [[Image:Praeclarum Theorema CAST 500 x 389 Animation.gif]]
+
| [[File:Praeclarum Theorema CAST 500 x 389 Animation.gif]]
|}
|}
|}
|}
Line 1,667:
Line 1,667:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Praeclarum Theorema DNF.jpg|500px]]
+
| [[File:Praeclarum Theorema DNF.jpg|500px]]
|}
|}
Line 1,705:
Line 1,705:
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
−
| [[Image:Logical_Graph_Figure_33.jpg|500px]]
+
| [[File:Logical_Graph_Figure_33.jpg|500px]]
|}
|}
Line 1,796:
Line 1,796:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
+
| [[File:Logical Graph (P (Q)) (P (R)).jpg|500px]] || (26)
|}
|}
Line 1,810:
Line 1,810:
{| align="center" cellpadding="8" style="text-align:center"
{| align="center" cellpadding="8" style="text-align:center"
−
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (27)
+
| [[File:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (27)
|-
|-
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}</math>
Line 1,822:
Line 1,822:
{| align="center" cellpadding="8" style="text-align:center"
{| align="center" cellpadding="8" style="text-align:center"
−
| [[Image:Venn Diagram (P (Q R)).jpg|500px]] || (28)
+
| [[File:Venn Diagram (P (Q R)).jpg|500px]] || (28)
|-
|-
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q ~ r \texttt{))}</math>
Line 1,856:
Line 1,856:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
+
| [[File:Logical Graph (P (Q)) (P (R)) = (P (Q R)).jpg|500px]] || (29)
|}
|}
Line 1,872:
Line 1,872:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
+
| [[File:Logical Graph (P (Q)) (P (R)) = (P (Q R)) Proof 1.jpg|500px]]
| (30)
| (30)
|}
|}
Line 1,888:
Line 1,888:
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-0.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-1.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast P.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-2.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-3.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-4.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast Q.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-5.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-6.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-7.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast R.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-8.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-1-9.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
+
| [[File:Equational Inference Bar -- DNF.jpg|500px]]
|}
|}
| (31)
| (31)
Line 1,932:
Line 1,932:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P (Q)) (P (R)) DNF.jpg|500px]]
+
| [[File:Logical Graph (P (Q)) (P (R)) DNF.jpg|500px]]
| (32)
| (32)
|}
|}
Line 1,960:
Line 1,960:
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-0.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-0.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-1.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-1.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast P.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2 ISW.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-2 ISW.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-3.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-3.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-4.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-4.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast Q.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-5.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-5.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6 ISW.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-6 ISW.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-7.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-7.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast R.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-8.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-8.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-9.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 2-2-9.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- DNF.jpg|500px]]
+
| [[File:Equational Inference Bar -- DNF.jpg|500px]]
|}
|}
| (33)
| (33)
Line 2,004:
Line 2,004:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (P Q R , (P)).jpg|500px]] || (34)
+
| [[File:Logical Graph (P Q R , (P)).jpg|500px]] || (34)
|}
|}
Line 2,010:
Line 2,010:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph ((P , P Q R)).jpg|500px]] || (35)
+
| [[File:Logical Graph ((P , P Q R)).jpg|500px]] || (35)
|}
|}
Line 2,114:
Line 2,114:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−
| [[Image:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg|500px]]
+
| [[File:Logical Graph (( (P (Q)) (P (R)) , (P (Q R)) )).jpg|500px]]
| (39)
| (39)
|}
|}
Line 2,124:
Line 2,124:
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center"
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-00.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-01.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast P.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast P.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-02.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-03.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-04.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
+
| [[File:Equational Inference Bar -- Emptiness.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-05.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-06.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast Q.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast Q.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-07.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-08.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Domination ISW.jpg|500px]]
+
| [[File:Equational Inference Bar -- Domination ISW.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-09.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-10.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
+
| [[File:Equational Inference Bar -- Spike.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-11.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-12.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cast R.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cast R.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-13.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14 ISW.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-14 ISW.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Emptiness.jpg|500px]]
+
| [[File:Equational Inference Bar -- Emptiness.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-15.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Spike.jpg|500px]]
+
| [[File:Equational Inference Bar -- Spike.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-16.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- Cancellation.jpg|500px]]
+
| [[File:Equational Inference Bar -- Cancellation.jpg|500px]]
|-
|-
−
| [[Image:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
+
| [[File:Proof (P (Q)) (P (R)) = (P (Q R)) 3-17.jpg|500px]]
|-
|-
−
| [[Image:Equational Inference Bar -- QED.jpg|500px]]
+
| [[File:Equational Inference Bar -- QED.jpg|500px]]
|}
|}
| (40)
| (40)