トートロジー【tautology】 同語反復。命題論理で、要素となる命題の真偽がいかなるものであっても、常に真となるような論理式。恒真式。