ยท the relation between propositions that cannot both be true at the same time
Synonym(s): incompatibility, inconsistency, repugnance
Hypernym(s): contradictoriness