12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 20:46, 25 January 2009
, 20:46, 25 January 2009→Proof Schemata
| style="border-right:1px solid black" |
| style="border-right:1px solid black" |
|}
|}
<br>
<pre>
Rule 2
If f : U -> B
and u C U,
then the following are equivalent:
R2a. f(u).
R2b. f(u) = 1.
</pre>
<br>
<br>