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