"(logic) a statement that is necessarily false" . . . . . "Wordnet Synset 07221547-n" . . . . .