「恒真」

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

出典：Wikipedia日本語版