Frequently Used Theorems (concl.)
C3. Dominant Form Theorem
The third of the frequently used theorems of service to this survey is one Spencer Brown annotates as Consequence 3 (C3) 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.
Here is a proof of the Dominant Form Theorem.
cc: FB | Logical Graphs • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 6 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 7 | Inquiry Into Inquiry