人工智能_(马少平_朱小燕_著)_清华大学出版社_课(20)

2，Q(A)∨Q(B) 3，~P(y)∨~Q(y)

7、以归结反演法证明公式（ x）P（x）是[P（A1）∨P（A2）]的逻辑推论，然而，（ x）P（x）的Skolem形即P（A）并非[P（A1）∨P（A2）]的逻辑推论，请加以证明。 答： （1）将（x）P（x）取反化为子句： ~（x）P（x） =（ x）~P（x）

与条件[P（A1）∨P（A2）]合在一起得子句集： {~P（x）, P（A1）∨P（A2）

}

所以，公式（x）P（x）是[P（A1）∨P（A2）]的逻辑推论。

（2）对于（x）P（x）的Skolem形，即P（A），取反后为~P（A），与条件[P（A1）∨P（A2）]合在一起得子句集：

{~P（A）, P（A1）∨P（A2）}

该子句集不能进行归结，故P（A）不是[P（A1）∨P（A2）]的逻辑推论。