Re: Undefinedness

From: JOG <jog_at_cs.nott.ac.uk>
Date: Thu, 22 Nov 2007 19:48:57 -0800 (PST)
Message-ID: <e85ff445-6574-4062-bed0-18df9f4fbdb9_at_p69g2000hsa.googlegroups.com>


On Nov 23, 2:22 am, joelle.alc..._at_gmail.com wrote:
> 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)

gnnnnn. must...check...login... Received on Fri Nov 23 2007 - 04:48:57 CET

Original text of this message