the relation between propositions that cannot both be true at the same time