#formalequations — Public Fediverse posts

#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

#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

#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