第四章逻辑推理.ppt

文字：原子谓词公式及其否定统称为文字。

例如，P(x)、Q(y)、P(x)、Q(y)等都是文字。1．子句和子句集子句：任何文字的析取式称为子句。

例如，P(x)∨Q(y)，P(x,f(x))∨Q(x,g(x))都是子句。空子句：不包含任何文字的子句称为空子句。

由于空子句不含有任何文字，也就不能被任何解释所满足，因此空子句是永假的，不可满足的。空子句一般被记为□或NIL。子句集：由子句或空子句所构成的集合称为子句集。一.子句集及其化简第62页，共95页，星期日，2025年，2月5日2.子句集的化简

在谓词逻辑中，任何一个谓词公式都可以通过应用等价关系及推理规则化成相应的子句集。其化简步骤如下：（l）消去连接词“→”和“←→”

反复使用如下等价公式：

P→Q=PVQ

P←→Q=(P→Q)∧(Q→P)=(P∧Q)V(P∧Q）

即可消去谓词公式中的连接词“→”和“←→”。

例如公式

(x)((y)P(x,y)→(y)(Q(x,y)→R(x,y)))

经等价变化后为

(x)((y)P(x,y)V(y)(Q(x,y)VR(x,y)))（2）减少否定符号的辖域（即把否定符号移到紧靠谓词的位置上）

反复使用双重否定律(P)==P

狄·摩根定律（P∨Q）==P∧Q

（P∧Q）==P∨Q

量词转换律(x）P==（彐x）P，（彐x）P==（x）P将每个否定符号“”移到仅靠谓词的位置，使得每个否定符号最多只作用于一个谓词上。例如，上步所得公式经本步变换后为

(x)((彐y)P(x,y)∨(彐y)(Q(x,y)∧R(x,y)))第63页，共95页，星期日，2025年，2月5日（3）对变元标准化

在一个量词的辖域内，把谓词公式中受该量词约束的变元全部用另外一个没有出现过的任意变元代替，使不同量词约束的变元有不同的名字。

例如，上步所得公式经本步变换后为

(x)((彐y)P(x,y)∨(彐z)(Q(x,z)∧R(x,z)))（4）化为前束范式

化为前束范式的方法是把所有量词都移到公式的左边，并且在移动时不能改变其相对顺序。由于第（3）步已对变元进行了标准化，每个量词都有自己的变元，这就消除了任何由变元引起冲突的可能，因此这种移动是可行的。

例如，上步所得公式化为前束范式后为:(x)(彐y)(彐z)(P(x,y)∨(Q(x,z)∧R(x,z)))（5）消去存在量词

消去存在量词时，需要区分以下两种情况。

若存在量词不出现在全称量词的辖域内（即它的左边没有全称量词），只要用一个新的个体常量替换受该存在量词约束的变元，就可消去该存在量词。

若存在量词位于一个或多个全称量词的辖域内，例如

(x1)(x2)……(xn)(彐y)P(x1,x2,……,xn,y)则需要用Skolem函数y=f（x1,x2,……,xn）替换受该存在量词约束的变元，然后再消去该存在量词。第64页，共95页，星期日，2025年，2月5日例如，在上步所得公式中存在量词（彐y)和（彐z）都位于（x）的辖域内，因此都需要用Skolem函数来替换。设替换y和z的Skolem函数分别是f（x）和g（x），则替换后的公式为:

(x)(彐y)(彐z)(P(x,y)∨(Q(x,z)∧R(x,z)))

f(x)g(x)