Contradiction

In Logic, any two propositions that always have opposite truth values.

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

See Categorical Logic.