Re: ?? Functional Dependency Question ??
From: David BL <davidbl_at_iinet.net.au>
Date: Wed, 22 Oct 2008 19:23:52 -0700 (PDT)
Message-ID: <5be04307-04d0-4526-bf3b-679f8144f32b_at_64g2000hsm.googlegroups.com>
Date: Wed, 22 Oct 2008 19:23:52 -0700 (PDT)
Message-ID: <5be04307-04d0-4526-bf3b-679f8144f32b_at_64g2000hsm.googlegroups.com>
On Oct 22, 7:20 pm, JOG <j..._at_cs.nott.ac.uk> wrote:
>
> Ax [ inRoom(x) ^ isHippo(x) ^ Wearing(x, pink panties) ] = false
Is this actually the case? There doesn't appear to be any defined set over which the universal quantification is defined, so I think the left hand side is meaningless not false.