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=== |