Incompatibility

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.