(1)(logic) a statement that is necessarily true; "the statement `he is brave or he is not brave' is a tautology"
(2)必然的に真実である声明
(1)