Re: Love or hate, or? domains with cardinality two
From: <compdb_at_hotmail.com>
Date: Fri, 6 Nov 2015 02:46:45 -0800 (PST)
Message-ID: <a196b76e-d488-4106-afa5-7146ac361941_at_googlegroups.com>
Date: Fri, 6 Nov 2015 02:46:45 -0800 (PST)
Message-ID: <a196b76e-d488-4106-afa5-7146ac361941_at_googlegroups.com>
On Friday, November 6, 2015 at 2:40:54 AM UTC-8, com..._at_hotmail.com wrote:
> On Thursday, November 5, 2015 at 3:14:51 AM UTC-8, Nicola wrote:
Correction:
> In your Schrodinger P(x,b) example you suggested that the predicate was:
> b and x is a cat
> or not b and x is not a cat
> But that does not hold the rows you think it would. <c1,true> is in P iff c1 is a cat. Etc for c2,... . But <c1,false> is in P iff c1 is
not
> a cat, ie iff <c1,true> is not in P. Etc for c2,... . Ie every c has exactly one row in P.
philip Received on Fri Nov 06 2015 - 11:46:45 CET