精選版 日本国語大辞典 「命題論理」の意味・読み・例文・類語
めいだい‐ろんり【命題論理】
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 株式会社平凡社百科事典マイペディアについて 情報
…そのような正しい結論を導く推論の体系は論理と呼ばれている。 その中で最も基本的な演繹推論の体系は,命題論理である。命題論理は,命題と呼ばれる真偽が特定できる文および文の間の論理的な関係を表す論理記号と呼ばれる記号からなる。…
…第2次大戦後はダブリンで研究。多値論理を含む命題論理,三段論法の現代的定式化,さらにそれと密接に結びついている論理学史の分野で多くの先駆的業績を残した。主著に《数学的論理学要説》(1929),《現代形式論理学の観点より見たアリストテレスの三段論法》(1951)がある。…
※「命題論理」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新
1/12 日本大百科全書(ニッポニカ)を更新
12/11 日本大百科全書(ニッポニカ)を更新
11/10 日本大百科全書(ニッポニカ)を更新