06165147-n 'a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them';
 
Chinese (simplified) 命题 逻辑 , 命题逻辑
English propositional logic , propositional calculus
Indonesian kalkulus proposisional
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

Langs:

Seen Lemmas: hitting;
Preferences
(0.02449 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the Extended Open Multilingual Wordnet (0.9)
Maintainer: Francis Bond <bond@ieee.org>