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