Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
User:Jon Awbrey/SCRATCHPAD
(view source)
Revision as of 17:50, 25 March 2009
1,461 bytes added
,
17:50, 25 March 2009
→Type Markers
Line 525:
Line 525:
\end{array}</math>
\end{array}</math>
|}
|}
+
+
===Proof Example===
+
+
<pre>
+
o-----------------------------------------------------------o
+
| |
+
| B=>C C |
+
| (y: (x: z: ): ): |
+
| B A A B C |
+
| |
+
o===========================================================o
+
| |
+
| A=>B B B=>C C |
+
| ((x: (y: K: ): ): (x: z: ): ): |
+
| A B B A B A A B C |
+
| |
+
o===========================================================o
+
| |
+
| A=>B B B=>C (A=>B)=>(A=>C) A=>C C |
+
| (x: ((y: K: ): (z: S: ): ): ): |
+
| A B B A A A=>(B=>C) A=>B A C |
+
| |
+
o===========================================================o
+
| |
+
| ... |
+
| |
+
o-----------------------------------------------------------o
+
</pre>
==Over And Under Setting==
==Over And Under Setting==
Jon Awbrey
12,080
edits