Changes

MyWikiBiz, Author Your Legacy — Thursday September 11, 2025
Jump to navigationJump to search
1,196 bytes removed ,  17:30, 29 August 2008
Line 311: Line 311:  
Here is a proof of the Dominant Form Theorem.
 
Here is a proof of the Dominant Form Theorem.
   −
<pre>
+
{| align="center" border="0" cellpadding="10" cellspacing="0"
o-----------------------------------------------------------o
+
| [[Image:Logical_Graph_Figure_30.jpg|500px]] || (30)
| C_3.  Dominant Form Theorem.  Proof.                      |
+
|}
o-----------------------------------------------------------o
  −
|                                                          |
  −
|                  o                                      |
  −
|                  |                                      |
  −
|                a @                                      |
  −
|                                                           |
  −
o=============================< C2. Regenerate "a" >========o
  −
|                                                          |
  −
|                a o                                      |
  −
|                  |                                      |
  −
|                a @                                      |
  −
|                                                          |
  −
o=============================< J1. Delete "a" >============o
  −
|                                                           |
  −
|                  o                                      |
  −
|                   |                                       |
  −
|                   @                                      |
  −
|                                                          |
  −
o=============================< QED >=======================o
  −
</pre>
      
===Exemplary proofs===
 
===Exemplary proofs===
12,089

edits

Navigation menu