Logical Graphs • Formal Development 8

Exemplary Proofs

Using no more than the axioms and theorems recorded so far, it is possible to prove a multitude of much more complex theorems.  A number of all‑time favorites are linked below.

• Peirce’s Law
• Blog Series • (1) • (2) • (3) • (4) • (5) • (6) • (7)
• Praeclarum Theorema
• Blog Series • (1) • (2) • (3)
• Proof Animations

Resources

• Survey of Animated Logical Graphs

cc: FB | Logical Graphs • Laws of Form (1) (2) • Ma^thstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science