MyWikiBiz, Author Your Legacy — Monday November 10, 2025
Jump to navigationJump to search
3,676 bytes removed
, 03:28, 2 September 2008
| Line 365: |
Line 365: |
| | And here's a neat proof of that nice theorem. | | And here's a neat proof of that nice theorem. |
| | | | |
| − | <pre>
| + | {| align="center" border="0" cellpadding="10" cellspacing="0" |
| − | o-----------------------------------------------------------o
| + | | [[Image:Logical_Graph_Figure_34.jpg|500px]] || (34) |
| − | | Praeclarum Theorema (Leibniz). Proof. |
| + | |} |
| − | o-----------------------------------------------------------o
| |
| − | | |
| |
| − | | b o o c o bc |
| |
| − | | | | | |
| |
| − | | a o o d o ad |
| |
| − | | \ / | |
| |
| − | | o---------o |
| |
| − | | | |
| |
| − | | | |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< C1. Reflect "ad(bc)" >======o
| |
| − | | |
| |
| − | | b o o c |
| |
| − | | | | |
| |
| − | | a o o d |
| |
| − | | \ / |
| |
| − | | ad o---------o bc |
| |
| − | | | |
| |
| − | | | |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< Weed "a", "d" >=============o
| |
| − | | |
| |
| − | | b o o c |
| |
| − | | | | |
| |
| − | | o o |
| |
| − | | \ / |
| |
| − | | ad o---------o bc |
| |
| − | | | |
| |
| − | | | |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< C1. Reflect "b", "c" >======o
| |
| − | | |
| |
| − | | abcd o---------o bc |
| |
| − | | | |
| |
| − | | | |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< Weed "bc" >=================o
| |
| − | | |
| |
| − | | abcd o---------o |
| |
| − | | | |
| |
| − | | | |
| |
| − | | @ |
| |
| − | | | | |
| − | o=============================< C3. Recess "abcd" >=========o
| |
| − | | | | |
| − | | o---------o | | |
| − | | | |
| |
| − | | | |
| |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< I2. Refold "(())" >=========o
| |
| − | | | | |
| − | | @ |
| |
| − | | |
| |
| − | o=============================< QED >=======================o
| |
| − | </pre>
| |
| | | | |
| | ==Bibliography== | | ==Bibliography== |
