MyWikiBiz, Author Your Legacy — Wednesday November 12, 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=== |