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

古典論理 こてんろんり classical logic

1件 の用語解説(古典論理の意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

古典論理
こてんろんり
classical logic

通常使う論理体系。その後の新しい論理である直観論理多値論理などと区別するために古典論理と呼んでいる。記号論理学では,命題を表す記号を PQ とするとき,論理記号で結合した PQP かつQ),PQP またはQ),¬PP でない),PQP ならQ)などを論理式と呼ぶ。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

古典論理の関連キーワード述語論理論理記号論理ゲート論理素子帰納論理学形式論理学伝統的論理学論理式数理論理学ロジカルオペレーション

今日のキーワード

ポケモンGO

2016年7月6日に米国・オーストラリア・ニュージーランドで配信開始となったスマートフォン用AR(仮想現実)モバイルゲーム。開発・発売元はNiantic,Inc.(ナイアンティック)で、株式会社ポケモ...

続きを読む

コトバンク for iPhone