恒真式
f ( α ∨ β ) := f ( α ) ∨ f ( β ) {\displaystyle f(\alpha \vee \beta ):=f(\alpha )\vee f(\beta )}
f ( ¬ α ) := ¬ f ( α ) {\displaystyle f(\neg \alpha ):=\neg f(\alpha )}
f ( α → β ) := f ( α ) → f ( β ) {\displaystyle f(\alpha \to \beta ):=f(\alpha )\to f(\beta )}
このようにして得られる写像 f : F m l → { ⊤ , ⊥ } {\displaystyle f:\mathrm {Fml} \to \{\top ,\bot \}} を付値という。任意の付値 f {\displaystyle f} に対して f ( α ) = ⊤ {\displaystyle f(\alpha )=\top } となるとき、 α {\displaystyle \alpha } を恒真式という。
古典論理の上で、次の論理式は恒真式である。
¬ ( α ∧ ¬ α ) {\displaystyle \neg (\alpha \wedge \neg \alpha )}
α ∨ ¬ α {\displaystyle \alpha \vee \neg \alpha }