06165147-n 'a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them';
 
English propositional logic , propositional calculus
Japanese 命題論理
Definitions
Japanese
主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派
English
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Relations
Hypernym: symbolic_logic
Semantic Field: cognitionn
External Links

SUMO: ∈ FieldOfStudy

TempoWN: (Past: 0.000; Present: 0.057; Future: 0.000)

SentiWN: (+0.00 -0.00) MLSentiCon: (+0.12 -0.00)


Langs:

Preferences
(0.02143 seconds)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>