命題論理とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 論理 > 論理 > 命題論理の意味・解説 

めいだい‐ろんり【命題論理】

読み方:めいだいろんり

記号論理学基礎的部門個々命題結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号用いて論理積(>)・論理和(<)・含意(→)・否定(〜)などにより記号化して演算形式表し複合され命題研究する学問命題計算


命題論理

読み方めいだいろんり
【英】:propositional logic

真か偽のどちらか一方の値をとる言明命題呼び, 命題対す正し推論形式のことを命題論理という. 命題\wedge (連言)や\vee (選言), \neg (否定)などの論理記号組み合わせることによって, 論理式作られる. 命題論理においては, 公理系推論規則から定理式を導く構文論と, 個々命題真偽全体論理式との真偽の関係を論ず意味論がある. 言明変数をもつ場合, その言明述語呼び一般に命題とは区別される.


命題論理

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

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


注釈

  1. ^ : propositional calculus
  2. ^ : sentential calculus
  3. ^ : classical propositional logic
  4. ^ : introduction of implication
  5. ^ : Fregean syllogism
  6. ^ : simplification
  7. ^ : weakening
  8. ^ : contraction
  9. ^ : permutation

出典

  1. ^ 命題論理 - 大辞林/大辞泉/コトバンク
  2. ^ S.C. Kleene, Introduction to Metamathematics, North Holland (1967).



命題論理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/07 23:52 UTC 版)

ストア派」の記事における「命題論理」の解説

ゼノンの師の一人メガラ派属すディオドロス・クロノスは、今日命題論理として知られる論理学へのアプローチ初め導入した哲学者とされる。命題論理とは名辞ではなく命題つまり文に基づいた論理学へのアプローチであり、論理学アリストテレス名辞論理とは全く異なったものにした。後にクリュシッポスが、このアプローチストア論理学として知られることになる体系へと発展させ、アリストテレス三段論法ライバルとされる演繹体系(ストア三段論法)を導入したストア論理学対す新たな関心20世紀起こり論理学重要な発展が命題論理に基づいて起こった。「クリュシッポスゴットロープ・フレーゲ哲学的論理学の強い親近性は非常に印象的である」とズザンネ・ボプツィエンが書いている。 「クリュシッポス事実上今日論理学関係しているあらゆる論理学話題に関する300上の論理学著作著した。その中には言語行為理論構文分析単数あるいは複数表現述語論理指標存在命題論理演算否定、和、包含論理的帰結妥当性論証形式演繹、命題論理、様相論理時相論理認識論理代示論理命令論理多義性論理的パラドックスがある」ともボプツィエンは書いている。

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

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

「命題論理」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。



命題論理と同じ種類の言葉


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

辞書ショートカット

','','','','','','','','','','','','','','','','','',''];function getDictCodeItems(a){return dictCodeList[a]};

すべての辞書の索引

「命題論理」の関連用語










10
トートロジー デジタル大辞泉
58% |||||

命題論理のお隣キーワード
検索ランキング
';function getSideRankTable(){return sideRankTable};

   

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



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

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
日本オペレーションズ・リサーチ学会日本オペレーションズ・リサーチ学会
Copyright (C) 2025 (社)日本オペレーションズ・リサーチ学会 All rights reserved.
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの命題論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのストア派 (改訂履歴)、恒真式 (改訂履歴)、仮言三段論法 (改訂履歴)、論理式 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS