Jon Awbrey · @Inquiry
94 followers · 376 posts · Server mathstodon.xyz
#LogicalGraphs • 6
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no#Progenesis
In Lieu of a Beginning —
Consider the #FormalEquations indicated in Figures 1 and 2.
Figure 1
• https://oeis.org/w/images/8/81/Logical_Graph_Figure_1_Visible_Frame.jpg
Figure 2
• https://oeis.org/w/images/6/66/Logical_Graph_Figure_2_Visible_Frame.jpg
For the time being these two forms of transformation may be referred to as axioms or initial equations.
#Logic #Peirce #SpencerBrown #LawsOfForm
#PropositionalCalculus #BooleanFunctions
#GraphTheory #ModelTheory #ProofTheory
#ProofTheory #modeltheory #graphtheory #BooleanFunctions #PropositionalCalculus #lawsofform #spencerbrown #Peirce #logic #formalequations #LogicalGraphs