Subcontraries

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