- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Tue, 6 Mar 2007 09:10:46 +0000
- To: pratt@cs.stanford.edu
- Cc: public-owl-dev@w3.org, semantic-web@w3.org
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