contrary 3

noundomain: relation
Princeton WordNet [ver.3.1]
EnglishEnglish
Definition

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

FENG