Re: Undefinedness

JOG wrote:
...

>> I understand your point Paul, although I deliberately omitted the
>> whole complement given that
>> (!Weather_is(condition:hot)) AND ((!Weather_is(condition:cold)) = true
>> => !Weather_is(condition:hot)

Well, it just seemed to me that when you choose a domain to talk about, it must be big enough to say whatever you might want to say. If you want to talk about warm weather, then I'd think a domain {hot, cold} isn't enough. Received on Fri Nov 23 2007 - 18:23:36 CET