Synset
two propositions are contradictories if both cannot be true (or both cannot be false) at the same time
<noun.relation>
contradictory
semantic pointers
hypernym
logical relation