Line 540: |
Line 540: |
| And here's a neat proof of that nice theorem. | | And here's a neat proof of that nice theorem. |
| | | |
− | {| align="center" cellpadding="10" | + | {| align="center" cellpadding="8" |
− | | [[Image:Logical_Graph_Figure_34.jpg|500px]] || (37) | + | | |
| + | {| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black; text-align:center" |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Marquee Title.png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 1.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Rule Reflect ad(bc).png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 2.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Rule Weed a, d.png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 3.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Rule Reflect b, c.png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 4.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Rule Weed bc.png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 5.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Rule Quit abcd.png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 6.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Rule Cancel (( )).png|500px]] |
| + | |- |
| + | | [[Image:Praeclarum Theorema 1.0 Storyboard 7.png|500px]] |
| + | |- |
| + | | [[Image:Equational Inference Marquee QED.png|500px]] |
| + | |} |
| + | | (37) |
| |} | | |} |
| | | |