"(logic) a proposition that is true if and only if another proposition is false" . "Wordnet Synset 06764286-n" . .