精選版 日本国語大辞典 「恒真式」の意味・読み・例文・類語
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…このように,すべてのトートロジーは,それがトートロジーであることを保証する命題の型(論理法則)をもつ。この型を恒真式と呼ぶことがある。 演繹的推論の正当性は,トートロジーの概念によって説明される。…
…そして命題論理学を適当に拡張すれば,その多義な用法のどれもが,論理学の枠内でちゃんと表現される,というのが大方の論理学者の予想である。
[恒真式]
真理値表がすべて真でうまる論理式を〈(命題論理の)恒真式〉という。例えば以下の論理式はすべて恒真式である。…
※「恒真式」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
血液中の脂質(トリグリセリド、コレステロールなど)濃度が基準値の範囲内にない状態(脂質異常症)に対し用いられる薬剤。スタチン(HMG-CoA還元酵素阻害薬)、PCSK9阻害薬、MTP阻害薬、レジン(陰...
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新