Changes

User:Jon Awbrey/SCRATCHPAD (view source)

233 bytes removed , 16:46, 29 January 2009

Line 1,554: Line 1,554:

====Variant 1====

−

~~<pre>~~

−

~~Value Rule 1~~

−

~~If v, w C B~~

−

~~then "v = w" is a sentence about <v, w> C B2,~~

−

~~[v = w] is a proposition : B2 -> B,~~

−

~~and the following are identical values in B:~~

−

~~V1a. [ v = w ](v, w)~~

−

~~V1b. [ v <=> w ](v, w)~~

−

~~V1c. ((v , w))~~

−

~~</pre>~~

<br>

12,089

edits