定义设D是谓词公式P地非空个体域,若对P中地个体常量、.pptVIP

“张不肯学习但他是幸运的” ￢Study(zhang)∧ Lucky(zhang) “任何幸运的人都能获奖” （ x）(Lucky(x) → Win(x,prize) 结论“张是快乐的”的否定 ￢Happy（zhang） 将上述谓词公式转化为子句集如下： （1）┐ Pass（x， computer） ∨ ┐ Win（x， prize） ∨ Happy（x） （2） ┐Study（y） ∨ Pass（y， z） （3）┐Lucky（u） ∨ Pass（u，v） （4） ┐Study（zhang） （5） Lucky（zhang） （6）┐ Lucky（w） ∨ Win（w， prize) （7）┐ Happy（zhang）（本子句为结论的否定） 按谓词逻辑的归结原理对此子句集进行归结，其归结反演过程如下页图所示。由于归结出了空子句，这就证明了张是快乐的。 “李明能看书且不贫穷” Read（liming）∧￢Poor（liming） “快乐的人过着激动人心的生活”