1、从而形成了模糊 谓词演算 一种新的语构与语义体系。

2、使用 谓词演算 来进行知识的表示和推理，能代表实际应用中的许多问题。

3、讨论了三种时间逻辑方法：一阶 谓词演算 ，模态逻辑及具体化逻辑。

4、谓词逻辑：也叫 谓词演算 ，它研究简单命题的内部结构。

5、 谓词演算 与程序语义。

6、 谓词演算 语言的传统的语义组成了数理逻辑的一个很丰富的分支。

7、在 谓词演算 的反驳树中，被证明的合式公式。

8、在 谓词演算 中，有时将原子公式简称为原子。

9、这就是一个一阶 谓词演算 不可表述的属性.

10、这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶 谓词演算 。

11、之后，美籍逻辑学家歌德尔一阶 谓词演算 的完备性定理，这标志着现代逻辑基础部分的完成。