12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 19:22, 26 January 2009
, 19:22, 26 January 2009→Proof Schemata
| align="center" style="border-left:1px solid black" | <math>\text{R3c : R2b}\!</math>
| align="center" style="border-left:1px solid black" | <math>\text{R3c : R2b}\!</math>
|}
|}
<br>
<pre>
Corollary 1
If X c U
and u C U,
then the following statement is true:
C1a. u C X <=> {X}(u) = 1. R3a=R3c
</pre>
<br>
<br>