Contrary

In Logic, any two propositions that cannot be true at the same time.

On the Square of Opposition, the logical relationship between Universal Affirmative and Universal Negative propositions.

See Categorical Logic.