1.本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

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

3.本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。

4.（6）在谓词演算中，有时将原子公式简称为原子。

5.（4）从而形成了模糊谓词演算一种新的语构与语义体系。

6.（11）本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

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

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

9.（10）在谓词演算的反驳树中，被证明的合式公式。

10.（3）本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。

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

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

13.（12）谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

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

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

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

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

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

19.（9）讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

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

21.谓词演算与程序语义。

22.（8）谓词演算与程序语义。

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

24.（5）这就是一个一阶谓词演算不可表述的属性.

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