(logic) a statement that is necessarily true
"the statement `he is brave or he is not brave' is a tautology"
domain category
the branch of philosophy that analyzes inference
is a type of (narrower)
a true statement
"he told the truth"; "he thought of answering with the truth but he knew they wouldn't believe it"