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

单词

predicate calculus

释义

Noun: predicate calculus

A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
- functional calculus

Type of: formal logic, mathematical logic, symbolic logic

Encyclopedia: Predicate calculus

随便看

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