12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 04:34, 27 January 2009
, 04:34, 27 January 2009→Proof Schemata
<br>
<br>
<pre>
Rule 4
If X c U is fixed
and u C U is varied,
then the following are equivalent:
R4a. u C X.
R4b. [u C X].
R4c. [u C X](u).
R4d. {X}(u).
R4e. {X}(u) = 1.
</pre>