12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 21:21, 25 January 2009
, 21:21, 25 January 2009→Proof Schemata
| style="border-right:1px solid black" |
| style="border-right:1px solid black" |
|}
|}
<br>
<pre>
Rule 3
If X c U
and u C U,
then the following are equivalent:
R3a. u C X. :R1a
::
R3b. {X}(u). :R1b
:R2a
::
R3c. {X}(u) = 1. :R2b
</pre>
<br>
<br>