12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday September 10, 2025
Jump to navigationJump to search→Frequently used theorems: ASCII → JPEG
| [[Image:Logical_Graph_Figure_28.jpg|500px]] || (28)
| [[Image:Logical_Graph_Figure_28.jpg|500px]] || (28)
|}
|}
====C<sub>3</sub>. Dominant form theorem====
====C<sub>3</sub>. Dominant form theorem====
The third of the frequently used theorems of service to this survey is one that Spencer-Brown annotates as ''Consequence 3'' (C<sub>3</sub>), 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.
The third of the frequently used theorems of service to this survey is one that Spencer-Brown annotates as ''Consequence 3'' (C<sub>3</sub>), 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.
{| align="center" border="0" cellpadding="10" cellspacing="0"
| [[Image:Logical_Graph_Figure_29.jpg|500px]] || (29)
| C_3. Dominant Form Theorem |
|}
| |
| |
| a( ) = ( ) |
| |
Here is a proof of the Dominant Form Theorem.
Here is a proof of the Dominant Form Theorem.
