恒真式(こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来)
空でない (少くとも1つの個体が存在する) 領域で妥当な論理式のこと。言い換えると,所与の領域に属する個体が,可能なあらゆる組合せを行なっても真である論理式のこと。