[CG] Re: Praeclarum Theorema

Praeclarum Theorema • 2 • https://inquiryintoinquiry.com/2023/10/14/praeclarum-theorema-2/ Re: Praeclarum Theorema • 1 • https://inquiryintoinquiry.com/2023/10/13/praeclarum-theorema-1/ And here's a neat proof of that nice theorem — Praeclarum Theorema • Proof • https://inquiryintoinquiry.files.wordpress.com/2020/09/praeclarum-theorema-… 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 • https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems John F. Sowa • Peirce's Rules of Inference • https://www.jfsowa.com/peirce/infrules.htm Resources — Logical Graphs • https://oeis.org/wiki/Logical_Graphs Logical Graphs • First Impressions • https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/ Logical Graphs • Formal Development • https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development… Metamath Proof Explorer • Praeclarum Theorema • https://us.metamath.org/mpeuni/mmset.html • https://us.metamath.org/mpeuni/prth.html Frithjof Dau • Animated Proof of Leibniz's Praeclarum Theorema • http://dr-dau.net/ • http://dr-dau.net/pc.shtml Regards, Jon cc: https://www.academia.edu/community/LEBMYl