Animated Logical Graphs • 1

For Your Musement …

Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce’s Alpha Graphs for propositional logic.

• Proof Animations
• Double Negation
• Peirce’s Law
• Praeclarum Theorema
• Two‑Thirds Majority Function

A full discussion of logical graphs can be found in the following article.

• Logical Graphs

Additional Resources

• Logical Graphs • First Impressions
• Logical Graphs • Formal Development

cc: Academia.edu • Cybernetics • Laws of Form • Mathstodon
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

#Abstraction #Amphecks #Analogy #Animata #AutomatedResearchTools #BooleanAlgebra #BooleanFunctions #CSPeirce #CactusGraphs #Deduction #DifferentialLogic #Duality #Form #GraphTheory #Iconicity #LawsOfForm #Leibniz #Logic #LogicalGraphs #Mathematics #MinimalNegationOperators #ModelTheory #PeirceSLaw #PraeclarumTheorema #ProofTheory #PropositionalCalculus #PropositionalLogic #Semiotics #SpencerBrown #TheoremProving #Topology #Visualization