Synset:functional calculus
Hypernyms:formal logic mathematical logic symbolic logic
Inherited Hypernyms:predicate calculussymbolic logiclogicsystemmethodknow-howabilitycognitionpsychological featureabstractionentity
Part Meronyms:quantification
单词 | predicate calculus |
释义 | Predicate Calculus nnoun.cognitiona system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) Synset:functional calculus Hypernyms:formal logic mathematical logic symbolic logic Inherited Hypernyms:predicate calculussymbolic logiclogicsystemmethodknow-howabilitycognitionpsychological featureabstractionentity Part Meronyms:quantification |
随便看 |
|
英语词典包含147479条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。