12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:56, 27 September 2010
, 12:56, 27 September 2010→C3. Dominant form theorem: replace JPG with PNG
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" cellpadding="10"
| [[Image:PERS_Figure_10.jpg|500px]] || (11)
| [[Image:Dominant Form 1.0 Splash Page.png|500px]] || (11)
|}
|}