Cf: Animated Logical Graphs • 42 http://inquiryintoinquiry.com/2020/10/03/animated-logical-graphs-42/
Figure 1. Praeclarum Theorema Parse Graph https://inquiryintoinquiry.files.wordpress.com/2020/09/praeclarum-theorema-parse-graph-2.0.png Now that our propositional formula is cast in the form of a graph its evaluation proceeds as a sequence of graphical transformations where each graph in turn belongs to the same formal equivalence class as its predecessor and thus of the first. The sequence terminates in a canonical graph making it manifest whether the initial formula is identically true by virtue of its form or not. To be continued ... 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. Praeclarum Theorema =================== * Inquiry Blog https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/ * Metamath Proof Explorer http://us.metamath.org/mpegif/mmset.html • Praeclarum Theorema http://us.metamath.org/mpegif/prth.html * Frithjof Dau ( http://dr-dau.net/ ) • Computer Animated Proof of Leibniz's Praeclarum Theorema http://dr-dau.net/pc.shtml Regards, Jon
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with no subject, and with the sole line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
