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';
 
Czech symbolická logika , formální logika
Chinese (simplified) 数理 逻辑 , 形式 逻辑 , 符号 逻辑 , 数理逻辑 , 符号逻辑 , 形式逻辑
English formal logic 1 , symbolic logic , mathematical logic
Indonesian logika matematika
Japanese 記号論理学 , 数学的論理学 , 形式論理学 , 形式論理
Malaysian logik matematik
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: predicate_calculus propositional_logic fuzzy_logic boolean_logic modal_logic
Hypernym: logic
Semantic Field: cognitionn
External Links
 

Langs:
Preferences
(0.02058 seconds)
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the Extended Open Multilingual Wordnet (0.9)
Maintainer: Francis Bond <bond@ieee.org>