[n] the relation between propositions that cannot both be true at the same time
incompatibility, inconsistency, repugnance