恒真式(トートロジー)