|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 命 ： [めい, いのち] 【名詞】 1. command 2. decree 3. life 4. destiny ・ 命題 ： [めいだい] 【名詞】 1. proposition 2. thesis ・ 題 ： [だい] 1. (n,vs) title 2. subject 3. theme 4. topic ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 論理 ： [ろんり] 【名詞】 1. logic ・ 論理学 ： [ろんりがく] (n) (study of) logic ・ 理 ： [り] 【名詞】 1. reason ・ 理学 ： [りがく] 【名詞】 1. physical science ・ 学 ： [がく] 【名詞】 1. learning 2. scholarship 3. erudition 4. knowledge
命題論理（）とは、数理論理学（記号論理学）の基礎的な一部門であり〔命題論理 - 大辞林/大辞泉/コトバンク〕、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語（P）と主語（S）を、関数のF(x)のように別記号で表現し、更に量化子で主語（S）の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。 == 概要 == 命題論理の命題の取り扱いは普通、、またはと呼ぶ命題変数を原子式にするような形式的な推論の体系によってなされる。 命題論理において問題になるのは、個々の命題の「意味」よりも命題を「かつ」「ならば」などの論理演算子で関係づけたときにどんな推論ができるか、ということである。命題論理と違い主に個々の命題の意味を扱うのは述語論理などである。 推論の性質をいかなる形に考えるかによって、直観主義論理的な命題論理をはじめ様相論理や相関論理などさまざまな命題論理が考えられるが、通常、単に命題論理と呼んだ場合には、を指す（古典論理）。従って、本項目では古典命題論理について主に解説することとする。 一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現（整式）の集合、その表現のいくつかからなる部分集合（公理の集合）、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。 普通、それぞれの表現が数学の表現として具体的に解釈されるとき、表現の変形規則が一定の意味同等性を保つように与えられる。特に表現が論理体系そのものとして解釈されるときには「意味同等性」が論理的同等性のことを指すように変形規則が与えられる。この設定のもとでは変形規則によって与えられた表現から論理的に等価な表現を導くことができる。こういった変形規則による別の表現の導出について、特別な例として表現を単純化すること、与えられた表現が前もって区別された特別な表現（普通、論理学の公理だと解釈される）のうちどれかと等価かどうか決定すること、などが問題にされる。 命題論理における''言語''は命題変数（命題をはめ込む枠）と文演算子（結合子）からなっている。形式文法によって帰納的にその言語の表現や整式が、原子式や文演算子の一定の組みあわせとして定義される。公理の集合は空集合でも、空でない有限集合でも、可算無限集合でもいいし、あるいは公理図式によって与えられてもいい。加えて、意味論によって真かどうかの値付け（または解釈）が定められる。それによってどの整式が正しい、つまり定理であるかを決めることができるようになる。 以下では標準的な命題論理の大筋を解説する。しかしこの他にも、ほぼ等価ではあるが、言語を構成している演算子や変数が違ったり、あるいは公理や推論規則が違ったりして、ここで説明するものと見かけが異なる方法も存在する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「命題論理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Propositional calculus 」があります。 スポンサード リンク
|