Contraries

A pair of propositions that cannot both be simultaneously true but can be simultaneously false. In categorical logic, A- and E-propositions are contraries. If one is true, the other must be false. If one is false, however, the other is undetermined. (See Categorical proposition, A-proposition, and E-proposition.)