命題論理のニュース

ウィキペディア   命題論理 出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2007/06/06 09:32 UTC 版)命題論理（めいだいろんり、propositional logic）とは命題とよばれる数学的対象が扱われる数理論理学の一分野である。 目次1 概要2 文法3 計算3.1 公理3.2 推論規則4 規則の健全性と完全性5 別の論理計算の定式化5.1 公理系15.2 公理系26 他の命題計算 概要命題論理の命題の取り扱いは普通、命題計算（めいだいけいさん、propositional calculus）、または文計算（ぶんけいさん、sentential calculus）とよばれる命題変数を原子式にするような形式的な推論の体系によってなされる。命題論理において問題になるのは、個々の命題の「意味」よりも命題を「かつ」「ならば」などの論理演算子で関係づけたときにどんな推論ができるか、ということである。命題論理と違い主に個々の命題の意味を扱うのは述語論理などである。推論の性質をいかなる形に考えるかによって、直観主義論理的な命題論理をはじめ様相論理や相関論理などさまざまな命題論理が考えられるが、通常、単に命題論理と呼んだ場合には、古典命題論理（こてんめいだいろんり、classical propositional logic）を指す。従って、本項目では古典命題論理について主に解説することとする。一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現（整式）の集合、その表現のいくつかからなる部分集合（公理の集合）、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。普通、それぞれの表現が数学の表現として具体的に解釈されるとき、表現の変形規則が一定の意味同等性を保つように与えられる。特に表現が論理体系そのものとして解釈されるときには「意味同等性」が論理的同等性のことを指すように変形規則が与えられる。この設定のもとでは変形規則によって与えられた表現から論理的に等価な表現を導くことができる。こういった変形規則による別の表現の導出について、特別な例として表現を単純化すること、与えられた表現が前もって区別された特別な表現（普通、論理学の公理だと解釈される）のうちどれかと等価かどうか決定すること、などが問題にされる。命題論理における言語は命題変数（命題をはめ込む枠）と文演算子（結合子）からなっている。形式文法によって帰納的にその言語の表現や整式が、原子式や文演算子の一定 ..

扱われる06出典062007百科事典命題とよばれる32一分野であるめいだいろんり、版数理論理学の数学的対象がウィキペディア命題論理命題論理フリーウィキペディアとは09。ぶんけいさん、定式化5別の命題変数を完全性5規則の公理系15目次12推論の取り健全性と原子式にするような文計算推論規則4めいだいけいさん、概要2扱いはまたは、1とよばれる体系によってなされる文法3計算3命題計算普通、公理3論理計算の他の公理系262形式的な概要命題論理の命題の命題計算1。命題論理において命題の問題になるのは、ということであるなどの個意味かつ論理演算子で命題をならば推論ができるか、のよりも関係づけたときにどんな。命題論理との違い主に述語論理などである命題の扱うのは個意味を。推論のを命題論理をはじめ性質をいかなる様相論理や形に場合には、考えられるが、呼んだ考えるかによって、直観主義論理的なこてんめいだいろんり、単に命題論理と指す相関論理などさまざまな命題論理が通常、古典命題論理。従って、主に古典命題論理について本項目では解説することとする。一般的にいえば、形式的体系である変形規則のその統語的な部分集合定義する集合、表現のいくつかからなる加えて空間上に集合整式さらに表現文法的にきちんとした二項関係をの命題計算とは公理の集合からなる、表現の。普通、変形規則が表現として与えられる表現が意味同等性を一定の数学の保つように解釈されるとき、表現のそれぞれの具体的に。特に意味同等性変形規則が解釈されるときには表現が与えられる論理体系そのものとして論理的同等性のことをが指すように。この導くことができる論理的に与えられた表現を表現から等価な設定のもとでは変形規則によって。こういった区別された与えられた変形規則による前もって普通、表現の表現のうちどれかと表現を決定すること、などが問題にされる解釈される表現が等価かどうか公理だと別の特別な例として特別な論理学の単純化すること、導出について、。命題論理における言語は結合子とからなっている命題をはめ命題変数枠文演算子込む。形式文法によって言語の表現や帰納的にその整式が、一定原子式や文演算子の。

「命題論理」を含むASIN

現代哲学基本論文集〈1〉 双書プロブレーマタ
勁草書房 G. フレーゲ
2730 円 - http://www.amazon.co.jp/exec/obidos/4326198761/

知能科学―ロボットの“知”と“巧みさ” (ロボティクスシリーズ 6) (ロボティクスシリーズ 6)
コロナ社 有本 卓
2625 円 - http://www.amazon.co.jp/exec/obidos/4339045179/

円の論理―二つの命題、一つの選択 (1971年)
日本関税協会 日本関税協会
441 円 - http://www.amazon.co.jp/exec/obidos/B000J9T2S8/

「命題論理」を含む楽天市場の商品

ゲーデルと20世紀の論理学（ロジック）（2）
完全性定理とモデル理論　 著者：田中一之出版社：東京大学出版会サイズ：全集・双書ページ数：286p発行年月：2006年10月この著者の新着メールを登録する【内容情報】（「BOOK」データベースより）「完全」とは何...
3990 円 - http://item.rakuten.co.jp/book/4170695/

論理・代数・データベース
知の工学の基礎 著者：ピーター・M．D．グレイ／田中穂積出版社：産業図書サイズ：単行本ページ数：306p発行年月：1990年01月この著者の新着メールを登録する【内容情報】（「BOOK」データベースより）本書はデー...
3465 円 - http://item.rakuten.co.jp/book/398174/

論理学
意味とモデルの理論人文・社会科学セミナー 著者：森田茂行出版社：東京電機大学出版局サイズ：単行本ページ数：187p発行年月：1999年06月この著者の新着メールを登録する【内容情報】（「BOOK」データベースより...
2205 円 - http://item.rakuten.co.jp/book/1067043/