Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 22:42, 25 January 2009

160 bytes removed , 22:42, 25 January 2009

→‎Proof Schemata

Line 766: Line 766:

| 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>

12,089

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/77834"