06165364-n 'a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)';
 
汉语 命题 函项 演算 , 谓词 演算 , 命题函项演算 , 谓词演算
英语 predicate calculus , functional calculus
日语 述語論理
Definitions
日语
個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）
英语
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Relations
Hypernym: symbolic_logic
Meronym–Part: quantification
Semantic Field: cognitionn
External Links

Langs:
Preferences
(0.02297 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>