出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…このように,すべてのトートロジーは,それがトートロジーであることを保証する命題の型(論理法則)をもつ。この型を恒真式と呼ぶことがある。 演繹的推論の正当性は,トートロジーの概念によって説明される。…
…そして命題論理学を適当に拡張すれば,その多義な用法のどれもが,論理学の枠内でちゃんと表現される,というのが大方の論理学者の予想である。
[恒真式]
真理値表がすべて真でうまる論理式を〈(命題論理の)恒真式〉という。例えば以下の論理式はすべて恒真式である。…
※「恒真式」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
自動車税は自動車(軽自動車税の対象となる軽自動車等および固定資産税の対象となる大型特殊自動車を除く)の所有者に対し都道府県が課する税であり、軽自動車税は軽自動車等(原動機付自転車、軽自動車、小型特殊自...
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新