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 18:48, 25 March 2009
428 bytes added
,
18:48, 25 March 2009
→Proof Example
Line 562:
Line 562:
) \overset{B}{\underset{C}{\Downarrow}}
) \overset{B}{\underset{C}{\Downarrow}}
) \overset{ }{\underset{C}{\Downarrow}}
) \overset{ }{\underset{C}{\Downarrow}}
+
\\ \\
+
=
+
\\ \\
+
((x \overset{ }{\underset{A}{\Downarrow}} ~
+
(y \overset{ }{\underset{B}{\Downarrow}} ~
+
K \overset{B}{\underset{A \Rightarrow B}{\Downarrow}}
+
) \overset{A}{\underset{B}{\Downarrow}}
+
) \overset{ }{\underset{B}{\Downarrow}} ~
+
(x \overset{ }{\underset{A}{\Downarrow}} ~
+
z \overset{A}{\underset{B \Rightarrow C}{\Downarrow}}
+
) \overset{B}{\underset{C}{\Downarrow}}
+
) \overset{ }{\underset{C}{\Downarrow}}
\\ \\
\\ \\
=
=
Jon Awbrey
12,080
edits