Re: Undefinedness
Date: Thu, 22 Nov 2007 18:22:41 -0800 (PST)
Message-ID: <726a6c25-da3f-4073-bb41-637e7eee96c6_at_l1g2000hsa.googlegroups.com>
On Nov 23, 1:10 am, paul c <toledobythe..._at_ooyah.ac> wrote:
> paul c wrote:
> > paul c wrote:
> > ...
>
> >> Wait a minute. Regarding "weather_is", its complement is
> >> (!Weather_is(condition:hot)) AND ((!Weather_is(condition:cold)). This
> >> is not the same as just !Weather_is(condition:hot).
> >> ...
>
> > Oops, bloody parentheses. Should have said
> > !((Weather_is(condition:hot)) AND (Weather_is(condition:cold))).
>
> ...
>
> Sorry again, I think the first was right all along, in English (I hope)
> that would be "neither" (is true) which is what I should have said in
> the first place. Maybe I should try to sit on my messages for a few
> days until I get them right.
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)
Received on Fri Nov 23 2007 - 03:22:41 CET