Bureaucrats, Check users, Interface administrators, Administrators (Semantic MediaWiki), Administrators, vuser
9,363
edits
Changes
Talk:Introduction to Inquiry Driven Systems (view source)
Revision as of 13:51, 17 May 2007
, 13:51, 17 May 2007This is welcome content
This means that Υ''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> → '''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 Υ''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> → '''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)