"of a proposition; necessarily true or logically certain" . "Wordnet Synset 02470523-s" . .