"(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning" . "Wordnet Synset 06766013-n" . .