Animated Logical Graphs

10 views
Skip to first unread message

Jon Awbrey

unread,
Apr 28, 2026, 2:12:14 PM (2 days ago) Apr 28
to Cybernetic Communications
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/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
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations

Double Negation
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-double-negation-2.0.gif

Peirce's Law
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-peirces-law-2.0.gif

Praeclarum Theorema
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-praeclarum-theorema-2.0.gif

Two‑Thirds Majority Function
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-two-thirds-majority-function-2.0.gif

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

Logical Graphs
• https://oeis.org/wiki/Logical_Graphs

Additional Resources —

Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/

Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/

Regards,

Jon
Proof Animation • Double Negation 2.0.gif
Proof Animation • Peirce's Law 2.0.gif
Proof Animation • Praeclarum Theorema 2.0.gif
Proof Animation • Two-Thirds Majority Function 2.0.gif
Reply all
Reply to author
Forward
0 new messages