「恒真式」の版間の差分

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

例えば <math>\alpha \to (\beta \to \alpha)</math> であれば次の4通りのケースを調べれば良いる。