12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 17:16, 2 February 2009
, 17:16, 2 February 2009→Variant 1
\upharpoonleft Q \upharpoonright (x)
\upharpoonleft Q \upharpoonright (x)
& = &
& = &
\downharpoonleft s \downharpoonright (x)
\downharpoonleft s \downharpoonright (x) \quad (\forall x \in X)
\end{array}</math>
\end{array}</math>
| style="border-left:1px solid black; text-align:center" |
| style="border-left:1px solid black; text-align:center" |
<p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p>
<p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p>
<p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p>
<p><math>\operatorname{R11d~:~\_\_?\_\_}</math></p>
|- style="height:20px"
|
|
|
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
|- style="height:40px"
|
| <math>\operatorname{R11e.}</math>
| <math>\upharpoonleft Q \upharpoonright ~=~ \downharpoonleft s \downharpoonright</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R11e~:~\_\_?\_\_}</math>
|}
|}
|}
|}