06164665-n 'any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity';
 
English formal logic 1 , symbolic logic , mathematical logic
Indonesian logika simbolik , logika formal
Japanese 記号論理学 , 数学的論理学 , 形式論理学 , 形式論理
Definitions
Japanese
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
English
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Relations
Hyponym: boolean_logic fuzzy_logic modal_logic predicate_calculus propositional_logic
Hypernym: logic
Semantic Field: cognitionn
External Links

SUMO: ∈ FieldOfStudy

TempoWN: ◁ △ ▷ (Past: 0.000; Present: 0.003; Future: 0.000)

SentiWN: △ ▽ (+0.00 -0.00) MLSentiCon: ▲ ▼ (+0.12 -0.12)

Langs:
Preferences
(0.02139 seconds)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>