12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 22:10, 30 January 2009
, 22:10, 30 January 2009→Variant 2
|- style="height:40px"
|- style="height:40px"
| width="2%" style="border-top:1px solid black" |
| width="2%" style="border-top:1px solid black" |
| width="14%" style="border-top:1px solid black" | <math>\text{If}\!</math>
| width="18%" style="border-top:1px solid black" | <math>\text{If}\!</math>
| width="84%" style="border-top:1px solid black" | <math>Q ~\subseteq~ X</math>
| width="80%" style="border-top:1px solid black" | <math>Q ~\subseteq~ X</math>
|- style="height:40px"
|- style="height:40px"
|
|
|- style="height:40px"
|- style="height:40px"
| width="2%" style="border-top:1px solid black" |
| width="2%" style="border-top:1px solid black" |
| width="14%" style="border-top:1px solid black" | <math>\operatorname{D1a.}</math>
| width="18%" style="border-top:1px solid black" | <math>\operatorname{D1a.}</math>
| width="64%" style="border-top:1px solid black" | <math>\upharpoonleft Q \upharpoonright (x) ~\Leftrightarrow~ x \in Q</math>
| width="60%" style="border-top:1px solid black" | <math>\upharpoonleft Q \upharpoonright (x) ~\Leftrightarrow~ x \in Q</math>
| width="20%" style="border-top:1px solid black; text-align:center" | <math>\forall x \in X</math>
| width="20%" style="border-top:1px solid black; text-align:center" | <math>\forall x \in X</math>
|}
|}