Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 18:06, 31 January 2009

158 bytes removed , 18:06, 31 January 2009

→‎Definition 7

Line 2,420: Line 2,420:

===Definition 7===

−

~~<pre>~~

−

~~Definition 7~~

−

~~If S, T are sentences~~

−

~~about things in the universe U,~~

−

~~then the following are equivalent:~~

−

~~D7a. S <=> T.~~

−

~~D7b. [S] = [T].~~

−

~~</pre>~~

−

~~<br>~~

{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"

Jon Awbrey

12,089

edits