predicate logic

• 谓词演算

predicate logic的用法和样例：

例句

1. Also, first-order predicate calculus isn't good enough anyway.
   同时，从各方面来说，一阶谓词演算都不是足够好。
2. In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
   摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。