恒真式

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

対義語としては変数の値にかかわらず常に偽となる矛盾である。

命題論理 
命題論理において、命題を記号化したものが論理式であるが、論理式を構成している、最も単純な文に相当する要素式の真偽値の取り方に関係なく常に真（恒真）となる論理式が存在し、それらはトートロジーもしくは恒真式と呼ばれる。真にも偽にもなりうる論理式を整合式（）、恒に偽になる論理式を恒偽式もしくは矛盾式（）という。

述語論理 
述語論理においては、トートロジーを考える事はないが、同様な概念を考える事ができる。論理式が、全ての解釈にたいして真になるとき、この論理式は恒真 (validity) で、妥当式 (valid wff) になる。少なくとも一つの解釈で論理式が真になるとき、この論理式は充足可能 (:en:Satisfiability) で、充足可能式 (satisfiable wff) になる。全ての解釈で論理式が偽になるとき、この論理式は充足不可能で、矛盾式 (contradictory wff) になる。

定義と例 
ここでは古典命題論理における恒真式の定義を述べる。 を命題変数の全体とする。 なる写像、すなわち命題変数への真理値割り当てを考える。は恒真、は矛盾。次のようにして  の始域を論理式の全体  に拡張する（右辺の  は論理記号ではなく  上の 演算である）：
 
 
 
 
このようにして得られる写像  を付値という。任意の付値  に対して  となるとき、 を恒真式という。

古典論理の上で、次の論理式は恒真式である。

 
 
 
 
 
 

主な恒真式として、同一律、排中律、矛盾律、二重否定の法則、巾等律、交換律、結合律、分配律、吸収律、ド・モルガンの法則、対偶律、選言的三段論法、前件肯定式、推移律、移入律、、縮小律、拡大律、などがある。

恒真式である確認

命題論理 
ある式が恒真式であるかどうかを確認することは命題論理の基本である。一般に、真理値表をつくって真理値分析を行う作業になる。命題変数がn個存在する場合2n通りのケースを調べればよい。
例えば  であれば次の4通りのケースを調べる。

次のようにして、代数的な式変形によっても確認できる。

脚注

参考文献

関連項目 
論理的真理
推論
完全性
論理回路
論理記号の一覧
循環定義

外部リンク　
7.恒真命題・恒偽命題　(山陽学園大学　論理学)
11.述語論理　(山陽学園大学　論理学)

論理式
論理的真理
命題論理
命題
数学に関する記事
意味論 (論理学)
文法
数理論理学