contrary
a logical relation such that two propositions are contraries if both cannot be true but both can be false