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';
 
英語 formal logic 1 , symbolic logic , mathematical logic
Indonesian logika simbolik , logika formal
日本語 記号論理学 , 数学的論理学 , 形式論理学 , 形式論理
Definitions
日本語
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
英語
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.02835 seconds)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer: Francis Bond <bond@ieee.org>