Re: ?? Functional Dependency Question ??

From: David BL <davidbl_at_iinet.net.au>
Date: Wed, 22 Oct 2008 06:07:27 -0700 (PDT)
Message-ID: <0953638c-b658-432d-b550-a4ca88e53cd6_at_p49g2000hsd.googlegroups.com>


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

Original text of this message