MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to search
1,049 bytes removed
, 18:08, 10 August 2009
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. |