Changes

Logical graph (view source)

Revision as of 03:28, 2 September 2008

3,676 bytes removed , 03:28, 2 September 2008

→‎Praeclarum theorema: ASCII → JPEG

Line 365: Line 365:

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

Jon Awbrey

12,089

edits