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

クラス論理学 クラスろんりがく logic of classes

1件 の用語解説(クラス論理学の意味・用語解説を検索)

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

クラス論理学
クラスろんりがく
logic of classes

命題論理学を前提とし,同一の論理的結合子を用いる。しかし命題論理学が命題を一つの単位となすため,その内部構造を問題にしえないのに対し,命題の構造すなわち主語,述語の関係を名辞の外延 (→クラス ) の関係で表現し,論じることができる。

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

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

クラス論理学の関連キーワード述語論理記号論理学述語論理学推理伝統的論理学命題論理学論理式数理論理学二値論理学命題論理

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone