Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Propositions As Types
(view source)
Revision as of 15:00, 24 March 2009
23 bytes added
,
15:00, 24 March 2009
→Step 1
Line 21:
Line 21:
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
−
<math>\begin{array}{
l
}
+
<math>\begin{array}{
ccccc
}
−
x = (x\operatorname{K})(x\operatorname{K}) = x(\operatorname{K}(\operatorname{K}\operatorname{S}))
+
x
−
\\[
6pt
]
+
&
=
&
−
\
Rightarrow
+
(x\operatorname{K})(x\operatorname{K})
−
\\[
6pt
]
+
&
=
&
−
\operatorname{I} = \operatorname{K}(\operatorname{K}\operatorname{S})
+
x(\operatorname{K}(\operatorname{K}\operatorname{S}))
+
\\[
8pt
]
+
& &
\
Downarrow
+
\\[
8pt
]
+
\operatorname{I}
+
& &
=
& &
+
\operatorname{K}(\operatorname{K}\operatorname{S})
\end{array}</math>
\end{array}</math>
|}
|}
Jon Awbrey
12,080
edits