Changes

Directory talk:Jon Awbrey/Papers/Syntactic Transformations (view source)

Revision as of 15:25, 11 September 2010

173 bytes removed , 15:25, 11 September 2010

→‎1.3.12.1. Syntactic Transformation Rules: del merged text

Line 145: Line 145:

E1d. (( f , g ))$(u). :$1b

E1d. (( f , g ))$(u). :$1b

−

~~</pre>~~

−

−

~~======Definitions======~~

−

−

~~<pre>~~

−

~~Definition 5~~

−

−

~~If X c U,~~

−

−

~~then the following are identical propositions:~~

−

−

~~D5a. {X}.~~

−

−

~~D5b. f : U -> B~~

−

−

~~: f(u) = [u C X], for all u C U.~~

</pre>

</pre>

12,089

edits

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