命題計算とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 命題計算の意味・解説 

命題論理

(命題計算 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/26 14:46 UTC 版)

命題論理めいだいろんり、: propositional logic)とは、数理論理学記号論理学)の基礎的な一部門であり[1]命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号(論理記号論理演算子)を用いて、その命題(記号)間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理ブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。

命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語(P)と主語(S)を、関数のF(x)のように別記号で表現し、更に量化子で主語(S)の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。

概要

命題論理の命題の取り扱いは普通、命題計算めいだいけいさん[注釈 1]、または文計算ぶんけいさん[注釈 2]と呼ぶ命題変数原子式にするような形式的な推論の体系によってなされる。

命題論理において問題になるのは、個々の命題の「意味」よりも命題を「かつ」「ならば」などの論理演算子で関係づけたときにどんな推論ができるか、ということである。命題論理と違い主に個々の命題の意味を扱うのは述語論理などである。

推論の性質をいかなる形に考えるかによって、直観主義論理的な命題論理をはじめ様相論理相関論理などさまざまな命題論理が考えられるが、通常、単に命題論理と呼んだ場合には、古典命題論理こてんめいだいろんり[注釈 3]を指す(古典論理)。従って、本項目では古典命題論理について主に解説することとする。

一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現(整式)の集合、その表現のいくつかからなる部分集合公理の集合)、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。

普通、それぞれの表現が数学の表現として具体的に解釈されるとき、表現の変形規則が一定の意味同等性を保つように与えられる。特に表現が論理体系そのものとして解釈されるときには「意味同等性」が論理的同等性のことを指すように変形規則が与えられる。この設定のもとでは変形規則によって与えられた表現から論理的に等価な表現を導くことができる。こういった変形規則による別の表現の導出について、特別な例として表現を単純化すること、与えられた表現が前もって区別された特別な表現(普通、論理学の公理だと解釈される)のうちどれかと等価かどうか決定すること、などが問題にされる。

命題論理における言語は命題変数(命題をはめ込む枠)と文演算子(結合子)からなっている。形式文法によって帰納的にその言語の表現や整式が、原子式や文演算子の一定の組みあわせとして定義される。公理の集合は空集合でも、空でない有限集合でも、可算無限集合でもいいし、あるいは公理図式によって与えられてもいい。加えて、意味論によって真かどうかの値付け(または解釈)が定められる。それによってどの整式が正しい、つまり定理であるかを決めることができるようになる。

以下では標準的な命題論理の大筋を解説する。しかしこの他にも、ほぼ等価ではあるが、言語を構成している演算子や変数が違ったり、あるいは公理や推論規則が違ったりして、ここで説明するものと見かけが異なる方法も存在する。

文法

言語の構成要素は

  1. アルファベット大文字は命題変数を表す。これらは原子式である。
  2. 以下の結合子(または論理演算子)を表す記号:「



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「命題計算」の関連用語

1
命題論理 デジタル大辞泉
56% |||||




5
16% |||||



8
10% |||||



命題計算のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



命題計算のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの命題論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS