論理学において、素式の真偽に関わらず、常に真となる論理式。

特徴

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

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

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

リンク

関連する用語
命題
同語反復

[再検索] [戻る]