トートロジー
トートロジー(tautology)
→ 恒真式(トートロジー)