Subcontrary

In Logic, any two propositions that cannot be false at the same time.

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