Changes

This is welcome content
Line 78: Line 78:     
This means that &Upsilon;''q'' = 1 if and only if ''q'' holds for the whole universe of discourse in question, that is, if and only ''q'' is the constantly true proposition '''1''' : '''B'''<sup>''k''</sup> &rarr; '''B'''.  The ambiguities of this usage are not a problem so long as we distinguish the context of definition from the context of application and restrict all shorthand notations to the latter.
 
This means that &Upsilon;''q'' = 1 if and only if ''q'' holds for the whole universe of discourse in question, that is, if and only ''q'' is the constantly true proposition '''1''' : '''B'''<sup>''k''</sup> &rarr; '''B'''.  The ambiguities of this usage are not a problem so long as we distinguish the context of definition from the context of application and restrict all shorthand notations to the latter.
 +
 +
== This is welcome content ==
 +
 +
Jon, this is welcome content here on Centiare.  If you are interested in discovering how to get this essay to "pop" more readily on Google searches, we might have a discussion about that.  Centiare and its semantic tagging seem to get a lot of "love" from Google. --[[User:MyWikiBiz|MyWikiBiz]] 06:51, 17 May 2007 (PDT)