Changes

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

173 bytes removed , 15:25, 11 September 2010

Line 145: Line 145:

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>

12,154

edits