恒真式

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

定義と例

ここでは古典命題論理における恒真式の定義を述べる。$\mathcal{V}$を命題変数の全体とする。$f:\mathcal{V}\to\{\top,\bot\}$ なる写像を任意に用意し、次のようにして$f$の始域を論理式の全体$\mathcal{L}$に拡張する：

• $f(\alpha \wedge \beta) := f(\alpha) \wedge f(\beta)$
• $f(\alpha \vee \beta) := f(\alpha) \vee f(\beta)$
• $f(\neg \alpha) := \neg f(\alpha)$
• $f(\alpha \Rightarrow \beta) := f(\alpha) \Rightarrow f(\beta)$

このようにして得られる写像$f:\mathcal{L}\to \{\top,\bot\}$を付値という。任意の付値$f$に対して$f(\alpha)=\top$となるとき、$\alpha$を恒真式という。

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

• $\neg(\alpha\wedge\neg\alpha)$
• $\alpha\vee\neg\alpha$
• $(\alpha\Rightarrow \beta)\Leftrightarrow(\neg \beta\Rightarrow \neg \alpha)$
• $\neg\neg\alpha\Rightarrow\alpha$
• $\neg(\alpha\wedge \beta)\Leftrightarrow(\neg \alpha\vee\neg \beta)$
• $((\alpha\Rightarrow \beta)\wedge(\beta\Rightarrow \gamma))\Rightarrow(\alpha\Rightarrow \gamma)$

恒真式である確認

ある式が恒真式であるかどうかを確認することは命題論理の基本である。命題変数がn個存在する場合2ⁿ通りのケースを調べればよい。 例えば$\alpha \Rightarrow (\beta \Rightarrow \alpha)$であれば4通りのケースを調べれば良い。

$\alpha$	$\beta$	$\beta\Rightarrow\alpha$	$\alpha \Rightarrow (\beta \Rightarrow \alpha)$
T	T	T	T
T	F	T	T
F	T	F	T
F	F	T	T

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

$\alpha\Rightarrow(\beta\Rightarrow\alpha) = \neg\alpha\vee(\neg\beta\vee\alpha) = (\alpha\vee\neg\alpha)\vee\neg\beta = \top \vee \neg\beta = \top$

関連項目

• トートロジー（修辞法）