Praeclarum Theorema • 3

Re: Praeclarum Theorema • (1) • (2)

The steps of the proof are replayed in the following animation.

Reference

• Leibniz, Gottfried W. (1679–1686?), “Addenda to the Specimen of the Universal Calculus”, pp. 40–46 in G.H.R. Parkinson (ed., trans., 1966), Leibniz : Logical Papers, Oxford University Press, London, UK.

Readings

• Jon Awbrey • Propositional Equation Reasoning Systems
• John F. Sowa • Peirce’s Rules of Inference

Resources

• Logical Graphs
• Logical Graphs • First Impressions
• Logical Graphs • Formal Development
• Metamath Proof Explorer • Praeclarum Theorema
• Frithjof Dau • Animated Proof of Leibniz’s Praeclarum Theorema

cc: FB | Logical Graphs • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science