predicate calculu

• 谓词演算

predicate calculu的用法和样例：

例句

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