Cf: Animated Logical Graphs • 38 http://inquiryintoinquiry.com/2020/08/25/animated-logical-graphs-38/
Re: Richard J. Lipton https://rjlipton.wordpress.com/about-me/ ::: Logical Complexity Of Proofs https://rjlipton.wordpress.com/2020/08/19/logical-complexity-of-proofs/ Three examples of propositional proofs in logical graphs using equational inference rules can be found at the following location. * Propositional Equation Reasoning Systems • Exemplary Proofs https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems#Exemplary_proofs By way of a quick overview, here are the animated proofs of these examples, along with links to their detailed descriptions. Peirce's Law ============ https://inquiryintoinquiry.com/2008/10/06/peirces-law/ https://oeis.org/wiki/Peirce%27s_law https://inquiryintoinquiry.files.wordpress.com/2012/01/peirces-law-2-0-animation.gif Praeclarum Theorema =================== https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/ https://oeis.org/wiki/Logical_Graphs#Praeclarum_theorema https://inquiryintoinquiry.files.wordpress.com/2012/01/praeclarum-theorema-2-0-animation.gif Two-Thirds Majority Function ============================ https://oeis.org/wiki/Logical_Graphs#Two-thirds_majority_function https://oeis.org/wiki/Futures_Of_Logical_Graphs#Two-thirds_majority_function https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems#Two-thirds_majority_function https://inquiryintoinquiry.files.wordpress.com/2020/08/two-thirds-majority-function-500-x-250-animation.gif 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.
