[CG] Re: Logical Graphs • Formal Development

Logical Graphs • Formal Development 7 • https://inquiryintoinquiry.com/2024/09/15/logical-graphs-formal-development… Frequently Used Theorems (concl.) — C₃. Dominant Form Theorem — The third of the frequently used theorems of service to this survey is one Spencer Brown annotates as Consequence 3 (C₃) or Integration. A better mnemonic might be “dominance and recession theorem” (DART), but perhaps the brevity of “dominant form theorem” (DFT) is sufficient reminder of its double‑edged role in proofs. Dominant Form Theorem • https://inquiryintoinquiry.com/wp-content/uploads/2024/09/dominant-form-the… Here is a proof of the Dominant Form Theorem. Dominant Form Theorem • Proof • https://inquiryintoinquiry.com/wp-content/uploads/2024/09/dominant-form-the… 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/VowE60 cc: https://mathstodon.xyz/@Inquiry/113129787112676868