Changes

Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph.

Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph.

{| align="center" border="0" cellpadding="10" cellspacing="0"

| [[Image:Logical_Graph_Figure_33.jpg|500px]] || (33)

| Praeclarum Theorema (Leibniz)                            |

|}

|        @                  =                   @        |

|                                                           |

|                                                           |

| ((a(b))(d(c))((ad(bc))))   =                            |

|                                                           |

And here's a neat proof of that nice theorem.

And here's a neat proof of that nice theorem.