# Re: Question on DL negation

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Tue, 6 Mar 2007 09:10:46 +0000
Message-Id: <D2A24F9C-7ECE-4B5E-8873-8029477F1F8F@cs.man.ac.uk>

On Mar 6, 2007, at 8:09 AM, Vaughan Pratt wrote:

>>> Er... \forall(x)(C(x) \leftarrow \neg D(x)).
>>  My reading of your example is that whenever C holds of x, D
>> does not,
>
> Sorry, I just noticed the "left," by which I assume you mean,
> whenever D does not hold of x, C does.  Either way, my point
> remains that predicates do have truth values.

I meant "right" anyway :)

Cheers,
Bijan.
Received on Tuesday, 6 March 2007 09:10:50 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:14 UTC