new
predicate calculus的英文翻译是什么意思,词典释义与在线翻译:
英英释义
Noun:
-
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
predicate calculus的用法和样例:
例句
- Also, first-order predicate calculus isn't good enough anyway.
同时,从各方面来说,一阶谓词演算都不是足够好。