Re: Undefinedness

From: paul c <>
Date: Fri, 23 Nov 2007 17:23:36 GMT
Message-ID: <s0E1j.28770$fD.17142_at_pd7urf3no>

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)

> gnnnnn. must...check...login...

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

Original text of this message