first-order predicate logic

• 一阶谓词逻辑

first-order predicate logic的用法和样例：

例句

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