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