06165147-n
'a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them';
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Chinese (simplified)
命题 逻辑
,
命题逻辑
Inggeris
propositional logic
,
propositional calculus
Bahasa Indonesia
kalkulus proposisional
Japanese
命題論理
Definitions
Inggeris
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Japanese
主題を単位として処理し、それらに関係した組み合わせと接続語と関連させる連結語の語派
Relations
Hypernym:
symbolic_logic
Semantic Field:
cognition
n
External Links
Langs:
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Inggeris
Bahasa Indonesia
Bahasa Malaysia
Japanese
Chinese (simplified)
Italian
Czech
Yue Chinese
More...
Preferences
Update Language Selection
Select All/None
Language Selection
Czech
Chinese (simplified)
English
Indonesian
Italian
Japanese
Yue Chinese
Malaysian
Update Language Selection
(0.02574 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
>