Changes

| [[Image:Logical_Graph_Figure_28.jpg|500px]] || (28)

| [[Image:Logical_Graph_Figure_28.jpg|500px]] || (28)

|}

|}

====C₃.  Dominant form theorem====

====C₃.  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₃), 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₃), 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 @        =         @                  |

|                                                           |

|                                                           |

|                 a( )       =        ( )                  |

|                                                           |

Here is a proof of the Dominant Form Theorem.

Here is a proof of the Dominant Form Theorem.