概   述

    在前面知识表示一章中，我们已经介绍了谓词逻辑的一些基本概念。本章将介绍谓词演算的一些基本操作，作为归结反演系统的基础。

    下面我们介绍几个概念：

    定理及其证明：在谓词演算中，利用推理规则可以从已知的一些公式推出新的公式，这个导出的公式就称为定理。在推理的过程中使用的规则序列就构成了该定理的一个证明。

          永真性和可满足性：如果一个公式对所有可能的解释都取值为真，则称它为永真的。设I是一个解释，它使公式集合S中所有的公式取值均为真，则称I满足公式集合S。如果每一个适用于公式集合S的解释I也适用于公式X，则称X逻辑上遵从公式集S。

     有效性和完备性：对于一组规则，如果从任何一个公式集合S推导出来的定理也是遵从S的，则称这组规则是有效的。如果所有逻辑上遵从S的公式都可以从S推导出来，则称这组规则是完备的。

                                         返回