Changes

MyWikiBiz, Author Your Legacy — Friday May 03, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Futures Of Logical Graphs (view source)

Revision as of 18:18, 4 August 2017

143 bytes removed ,  18:18, 4 August 2017
sub "File" for "Image" + use "Rooted Node Big" & "Rooted Edge Big"
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:  
| &nbsp;
 
| &nbsp;
 
| &nbsp;
 
| &nbsp;
−
| 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:  
| &nbsp;
 
| &nbsp;
 
| <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:  
| &nbsp;
 
| &nbsp;
 
| &nbsp;
 
| &nbsp;
−
| 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]]&nbsp;.
+
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]]&nbsp;.
    
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)
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/467975"

Navigation menu