英语词汇“predicate calculus”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	predicate calculus
释义	predicate calculus (once / 11819311 pages) n WORD FAMILY predicate calculus n a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) Syn\|Hyper functional calculus formal logic, mathematical logic, symbolic logic any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
随便看	Old Bullion Old Catholic Old Catholic Church Old Church Slavic Old Church Slavonic old codger Old Colony old country Old Delhi Old Dominion Old Dominion State olden Oldenburg Old English Old English sheepdog older olde worlde Old Faithful old fashioned old-fashioned old-fashionedness Oldfield old-field toadflax Old French Old Frisian

英语词典包含147318条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。