Inggeris | formal logic 1 , symbolic logic , mathematical logic |
Bahasa Indonesia | logika simbolik , logika formal |
Japanese | 記号論理学 , 数学的論理学 , 形式論理学 , 形式論理 |
Hyponym: | boolean_logic fuzzy_logic modal_logic predicate_calculus propositional_logic |
Hypernym: | logic |
Semantic Field: | cognitionn |
SUMO: ∈ FieldOfStudy
TempoWN: ◁ △ ▷ (Past: 0.000; Present: 0.003; Future: 0.000)
SentiWN: △ ▽ (+0.00 -0.00) MLSentiCon: ▲ ▼ (+0.12 -0.12)