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 • Ma^thstodon
cc: Research Gate • Structural Modeling • Systems Science • Syscoi

#abstraction, #amphecks, #analogy, #animata, #automated-research-tools, #boolean-algebra, #boolean-functions, #c-s-peirce, #cactus-graphs, #deduction, #differential-logic, #duality, #form, #graph-theory, #iconicity, #laws-of-form, #leibniz, #logic, #logical-graphs, #mathematics, #minimal-negation-operators, #model-theory, #peirces-law, #praeclarum-theorema, #proof-theory, #propositional-calculus, #propositional-logic, #semiotics, #spencer-brown, #theorem-proving, #topology, #visualization