predicate calculus

• 谓词演算

predicate calculus的英文翻译是什么意思，词典释义与在线翻译：

英英释义

Noun:

1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

predicate calculus的用法和样例：

例句

1. Also, first-order predicate calculus isn't good enough anyway.
   同时，从各方面来说，一阶谓词演算都不是足够好。

predicate calculus的相关资料：

近反义词

【近义词】

• functional calculus 函项演算