恒真式
恒真式（こうしんしき、トートロジー、、ギリシャ語の「同じ」に由来）とは論理学の用語で、「aならば aである (a → a) 」「aである、または、aでない (a ∨ ￢a)」のように、そこに含まれる命題変数の真理値、あるいは解釈に関わらず常に真となる論理式である。
対義語としては変数の値にかかわらず常に偽となる矛盾である。