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.

Additional Resources

cc: Academia.edu • CyberneticsLaws of FormMathstodon
cc: Research GateStructural ModelingSystems 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
User:Jon Awbrey/ANIMATION - OeisWiki