MyWikiBiz, Author Your Legacy — Thursday September 11, 2025
Jump to navigationJump to search
1 byte removed
, 12:34, 30 August 2008
Line 303: |
Line 303: |
| ====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'' <math>(C_3)\!</math>, 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'' <math>(C_3)\!</math> 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" | | {| align="center" border="0" cellpadding="10" cellspacing="0" |