Re: Question on DL negation

>> 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:48 UTC