tautology#1 (n)

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

Back to the index

Click for the XML entry