12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 13:58, 26 January 2009
, 13:58, 26 January 2009→Proof Schemata : New Versions
| style="border-top:1px solid black" | <math>\text{R3a.}\!</math>
| style="border-top:1px solid black" | <math>\text{R3a.}\!</math>
| style="border-top:1px solid black" | <math>x \in Q</math>
| style="border-top:1px solid black" | <math>x \in Q</math>
| align="center" style="border-left:1px solid black; border-top:1px solid black" |
| align="center" style="border-left:1px solid black; border-top:1px solid black" | <math>\text{R3a : R1a}\!</math>
<math>\text{R3a : R1a}\!</math>
|- style="height:24px"
|- style="height:24px"
| || ||
| || ||