恒真式（読み）コウシンシキ

デジタル大辞泉

こうしん‐しき【恒真式】

⇒トートロジー

出典　小学館

精選版 日本国語大辞典

こうしん‐しき【恒真式】

1. 〘 名詞 〙 論理学で、ある命題関数の中のすべての関数に、真または偽のどちらを代入しても、その命題関数が真となる場合のその命題関数。たとえば「Ｐまたは非Ｐ」。

出典　精選版 日本国語大辞典

ブリタニカ国際大百科事典 小項目事典

恒真式
こうしんしき
valid formula

空でない (少くとも1つの個体が存在する) 領域で妥当な論理式のこと。言い換えると，所与の領域に属する個体が，可能なあらゆる組合せを行なっても真である論理式のこと。

出典　ブリタニカ国際大百科事典 小項目事典

世界大百科事典（旧版）内の恒真式の言及

【トートロジー】より

…このように，すべてのトートロジーは，それがトートロジーであることを保証する命題の型(論理法則)をもつ。この型を恒真式と呼ぶことがある。　演繹的推論の正当性は，トートロジーの概念によって説明される。…

【命題論理学】より

…そして命題論理学を適当に拡張すれば，その多義な用法のどれもが，論理学の枠内でちゃんと表現される，というのが大方の論理学者の予想である。
［恒真式］
　真理値表がすべて真でうまる論理式を〈(命題論理の)恒真式〉という。例えば以下の論理式はすべて恒真式である。…

※「恒真式」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」