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

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