Re: ?? Functional Dependency Question ??
Date: Wed, 22 Oct 2008 06:07:27 -0700 (PDT)
On Oct 22, 7:20 pm, JOG <j..._at_cs.nott.ac.uk> wrote:
> On Oct 22, 6:12 am, David BL <davi..._at_iinet.net.au> wrote:
> > > Bob Badour wrote:
> > > > ... If you changed the
> > > > question slightly to "When there are no purple parts, which suppliers
> > > > supply all of the purple parts?" then the answer would be "all of them".
> > Reminds me of first year Uni, when my maths lecturer asked us whether
> > every hippopotamus in the room was wearing pink panties.
> Which is it then logicists?
> Ax [ inRoom(x) ^ isHippo(x) ^ Wearing(x, pink panties) ] = false
> Ax [ inRoom(x) ^ isHippo(x) -> Wearing(x, pink panties) ] = true
I'm no logicist but I think only the second is a faithful translation.
Otherwise, wouldn't statements like
every frog is an animal
be deemed false? Received on Wed Oct 22 2008 - 15:07:27 CEST