BabelNet

bn:00064782n

Noun Concept

Categories: 古典論理, 数学に関する記事, 命題論理, 命題

命題論理命題計算命題論理学

主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派 Japanese Open Multilingual WordNet

Definitions

Relations

Sources

主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派 Japanese Open Multilingual WordNet

命題論理（めいだいろんり、（）英: propositional logic）とは、数理論理学（記号論理学）の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号（論理記号・論理演算子）を用いて、その命題（記号）間の結合パターンを表現・研究・把握することを目的とした分野のこと。 Wikipedia

IS A

PART OF

HAS KIND

second-order propositional logic

多値論理

DESCRIBED BY SOURCE

アルメニア・ソビエト百科事典

DIFFERENT FROM