Incompatibility
Revision as of 12:42, 23 May 2009 by Volker gast (talk | contribs) (Created page with '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...')
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'.
