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

• 不能同时成立的提议。