n07091385
type | n |
lex_filenum | 10 |
def | (logic) a statement that is necessarily true |
examples | the statement `he is brave or he is not brave' is a tautology |
Outgoing links | |
Hypernym | truth, true statement |
Domain of synset - TOPIC | logic |
Derivationally related form | tautology → tautological |
Incoming links | |
Derivationally related form | tautological → tautology |
Member of this domain - TOPIC | logic |
Hyponym | truth, true statement |
Click for the XML entry