Changes

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 18:08, 10 August 2009

1,049 bytes removed , 18:08, 10 August 2009

→‎Logic as sign transformation: convert graphics

Line 835: Line 835:

Just to remind you, here is the ''Splendid Theorem'' again:

−

~~<pre>~~

+

{| align="center" cellpadding="10"

−

~~o-----------------------------------------------------------o~~

+

| [[Image:Praeclarum Theorema.jpg|500px]]

−

| Praeclarum Theorema ~~(PT)` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

+

|}

−

~~o-----------------------------------------------------------o~~

−

~~| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` b o ` o c ` ` o bc` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `~~ |

−

| ~~` ` ` | ` | ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` a o ` o d ` ` o ad` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` ` `\ /` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` ` ` o---------o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~| ` ` ` ` @ ` ` ` ` ` ` ` ` ` = ` ` ` ` ` ` ` ` ` @ ` ` ` ` |~~

−

~~| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~o-----------------------------------------------------------o~~

−

~~| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

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

−

~~| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |~~

−

~~o-----------------------------------------------------------o~~

−

~~</pre>~~

The first way of transforming the expression that appears on the left hand side of the equation can be described as ''proof-theoretic'' in character. That was given in Note 5.

Jon Awbrey

12,080

edits