predicative calculus

• 谓词演算

predicative calculus的用法和样例：

例句

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