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.