12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 18:16, 25 January 2009
, 18:16, 25 January 2009→Proof Schemata
<br>
<br>
<pre>
Rule 1
If X c U,
then {X} : U -> B,
and if u C U,
then the following are equivalent:
R1a. u C X.
R1b. {X}(u).
</pre>