Two predicates P and Q stand in the sense relation of incompatibility to each other iff any referent x cannot have both properties at the same time (e.g. 'long' and 'short', 'cat' and 'dog'):
For any pair of properties P,Q: for all x, P(x) → not Q(x).
The term 'imcompatible' is used as both an adjective and a noun, i.e. predicates that are incompatible are also called 'incompatibles'.
|REF|| This article has no reference(s) or source(s). |
Please remove this block only when the problem is solved.