[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 5 • https://inquiryintoinquiry.com/2024/09/14/logical-graphs-formal-development… Frequently Used Theorems — To familiarize ourselves with equational proofs in logical graphs let's run though the proofs of a few basic theorems in the primary algebra. C₁. Double Negation Theorem — The first theorem goes under the names of Consequence 1 (C₁), the double negation theorem (DNT), or Reflection. Double Negation Theorem • https://inquiryintoinquiry.files.wordpress.com/2021/02/double-negation-3.0.… The proof that follows is adapted from the one George Spencer Brown gave in his book “Laws of Form” and credited to two of his students, John Dawes and D.A. Utting. Double Negation Theorem • Proof • https://inquiryintoinquiry.files.wordpress.com/2021/02/double-negation-proo… Resources — Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs… Regards, Jon cc: https://www.academia.edu/community/V0YXb0 cc: https://mathstodon.xyz/@Inquiry/113129787112676868