Re: Question on DL negation

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.