Czech | symbolická logika , formální logika |
Chinese (simplified) | 数理 逻辑 , 形式 逻辑 , 符号 逻辑 , 数理逻辑 , 符号逻辑 , 形式逻辑 |
英語 | formal logic 1 , symbolic logic , mathematical logic |
Indonesian | logika matematika |
日本語 | 記号論理学 , 数学的論理学 , 形式論理学 , 形式論理 |
Malaysian | logik matematik |
Hyponym: | predicate_calculus propositional_logic fuzzy_logic boolean_logic modal_logic |
Hypernym: | logic |
Semantic Field: | cognitionn |