Contrary (logic)

Contrary is the relationship between two propositions when they cannot both be true (although both may be false). Thus, we can make an immediate inference that if one is true, the other must be false.