出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…このように,すべてのトートロジーは,それがトートロジーであることを保証する命題の型(論理法則)をもつ。この型を恒真式と呼ぶことがある。 演繹的推論の正当性は,トートロジーの概念によって説明される。…
…そして命題論理学を適当に拡張すれば,その多義な用法のどれもが,論理学の枠内でちゃんと表現される,というのが大方の論理学者の予想である。
[恒真式]
真理値表がすべて真でうまる論理式を〈(命題論理の)恒真式〉という。例えば以下の論理式はすべて恒真式である。…
※「恒真式」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
現内閣を支持する人の割合。新聞社などが有権者を対象に調査する。...