# Re: Question on DL negation

From: Vaughan Pratt <pratt@cs.stanford.edu>
Date: Tue, 06 Mar 2007 00:09:36 -0800
Message-ID: <45ED21C0.3000909@cs.stanford.edu>

>> 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.

Vaughan
Received on Tuesday, 6 March 2007 08:09:52 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:54 GMT