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

Resources

• Logical Graphs • First Impressions
• Logical Graphs • Formal Development
• Survey of Animated Logical Graphs

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