Changes

MyWikiBiz, Author Your Legacy — Monday November 04, 2024
Jump to navigationJump to search

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:
 
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.
 
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

Retrieved from "https://mywikibiz.com/Special:MobileDiff/90398"

Navigation menu