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.

Here is a proof of the Dominant Form Theorem.

Resources

• Survey of Animated Logical Graphs

cc: FB | Logical Graphs • Laws of Form (1) (2) • Ma^thstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science