>> 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. VaughanReceived on Tuesday, 6 March 2007 08:09:48 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:00 UTC