- From: Vaughan Pratt <pratt@cs.stanford.edu>
- Date: Tue, 06 Mar 2007 00:09:36 -0800
- To: public-owl-dev@w3.org, semantic-web@w3.org
>> 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 UTC