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

他の命題計算

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 09:50 UTC 版)

命題論理」の記事における「他の命題計算」の解説

命題計算は、現在用いられている論理計算中でも最も単純なものだと言えるアリストテレス三段論法は、後述述語論理吸収されるため、現代論理学では取り扱われることは少ないが、命題計算くらべて言語表現忠実に分析するという意味では、より素朴な考え方だとも言えるまた、推論形式限定されている点で、形式的に一見単純である。ただし、現代論理立場から省みると、そのような推論形式制限は、かえって理論複雑にする。また、構造主語述語分け量化概念導入するなど、より精密だと言える。)。いくつかのやり方命題計算拡張することができる。 より複雑な論理計算作り上げるうえで最も直接的な方法は、用いられる式についてよ細かいこと言えるような規則導入することである。命題論理の「原始的叙述」を項や変数述語量化子分解することを考えると一階論理、または一階述語論理呼び命題論理規則をすべて保ちながらさらに新し規則加えたものを得る。(例えば「すべてのほ乳類である」から「たまがなら、たまはほ乳類である」を推論できる、など。) 一階論理道具立てを使うと、公理あるいは推論規則によって様々な理論定式化し、論理計算として取り扱えるようになる。最も有名な例算術だが、ほかにも集合論メレオロジー挙げられる様相論理命題計算ではとらえきれないような様々な推論可能にしている。様相論理では、例えば「 ρ {\displaystyle \rho } は必然的である」から ρ {\displaystyle \rho } を推論でき、 ρ {\displaystyle \rho } からは「 ρ {\displaystyle \rho } は可能である」が推論できる多値論理では文の真理値として真と偽以外のものも許容される。(例えば「真でもあり偽でもある」とか「真でも偽でもない」がよく追加される。またファジィ論理では真と偽の間の無限にこまかい「真実である度合い」が導入される。)これらの論理学はしばし命題計算とは異なった計算手法必要になる

※この「他の命題計算」の解説は、「命題論理」の解説の一部です。
「他の命題計算」を含む「命題論理」の記事については、「命題論理」の概要を参照ください。

ウィキペディア小見出し辞書の「他の命題計算」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



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

辞書ショートカット

すべての辞書の索引

「他の命題計算」の関連用語

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

   

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



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

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの命題論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS