コトバンクはYahoo!辞書と技術提携しています。

命題論理 メイダイロンリ

2件 の用語解説(命題論理の意味・用語解説を検索)

デジタル大辞泉の解説

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

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

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

百科事典マイペディアの解説

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

論理積(合接,連言とも)∧,論理和(離接,選言とも)∨,含意→,同等←→,否定〜の5種の論理記号を扱う記号論理学の一部門。ここでA,Bを2命題とするとき,A∧Bは〈AかつB〉,A∨Bは〈AまたはB〉,A→Bは〈AならばB〉,A←→Bは〈AとBは同等〉,〜Aは〈Aでない〉を表す。
→関連項目述語論理学

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. ご提供する『百科事典マイペディア』は2010年5月に編集・制作したものです

世界大百科事典内の命題論理の言及

【機械推論】より

…そのような正しい結論を導く推論の体系は論理と呼ばれている。 その中で最も基本的な演繹推論の体系は,命題論理である。命題論理は,命題と呼ばれる真偽が特定できる文および文の間の論理的な関係を表す論理記号と呼ばれる記号からなる。…

【ルカシエービチ】より

…第2次大戦後はダブリンで研究。多値論理を含む命題論理,三段論法の現代的定式化,さらにそれと密接に結びついている論理学史の分野で多くの先駆的業績を残した。主著に《数学的論理学要説》(1929),《現代形式論理学の観点より見たアリストテレスの三段論法》(1951)がある。…

※「命題論理」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

命題論理の関連キーワード論理演算論理回路論理記号論理ゲート論理積論理素子論理和合接離接ロジカルオペレーション

今日のキーワード

平野美宇

卓球選手。2000年4月14日、静岡県生まれ、山梨県育ち。3歳で卓球を開始。07年に小学1年生で全日本選手権大会バンビの部優勝、09年に小学2年生で同大会ジュニアの部初出場を果たし、注目を集めた。13...

続きを読む

コトバンク for iPhone