恒真式

もしPならばPである(P⇒P)、Pであるか又はPではない(P ∨ ￢P)のように、変項Pの如何に関わらず常に命題が真となる条件のこと。

恒真式である場合は、Pはいかなる解釈に対しても真であるという意味で「Pは妥当である」という。

なお、常に偽となる恒真式の対義語は恒偽式という。