[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 5 • https://inquiryintoinquiry.com/2023/09/27/logical-graphs-formal-development… Frequently Used Theorems — A sense of how equational proofs develop in the present graphical syntax can be gained by working through the proofs of a few essential 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… Regards, Jon cc: https://www.academia.edu/community/5AzooV cc: https://mathstodon.xyz/@Inquiry/111070230310739613