トートロジー【tautology】 (１)⇒同語反復 (２)〔論〕変項の値のいかんにかかわらず，常に真であるような論理式。論理学の規則の体系自身もトートロジーの集合とみなされる。恒真式。恒真命題。