12,144
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 17:07, 25 January 2009
, 17:07, 25 January 2009→Proof Schemata
===Proof Schemata===
===Proof Schemata===
<br>
<br>
| colspan="2" style="border-left:1px solid black; border-right:1px solid black; border-top:1px solid black" |
| colspan="2" style="border-left:1px solid black; border-right:1px solid black; border-top:1px solid black" |
<math>\begin{array}{ll}
<math>\begin{array}{ll}
\text{If} & Q \subseteq X,
\text{If} & Q \subseteq X
\\
\\
\\
\\
<math>\forall x \in X</math>
<math>\forall x \in X</math>
|}
|}
<br>