1、使用归结演绎推理解题：某单位招聘员工，小张、小李和小王三人参加了面试，经过考核后，单位有下面的想法： （1）如果录取小张而不录取小李，那么小王一定要录取； （2）如果录取小李，则小王一定要录取； （3）三人中至少要录取一人。 求单位一定录取谁？ 提示：设H(x)表示x被录取，ANSWER（x）表示答案（即录取了x）,Z表示小张、L表示小李、W表示小王，则各条件谓词公式为： M(Z)^~M(L)—〉M(W) M(L)—〉M(W) M(Z)^M(L)^M(W) 结论否定的谓词公式为：~M(x)vANSWER（x） 生成子句集，完成归结过程，看最终ANSWER（x）的x是谁，则一定录取谁。

我们可以将三个条件分别转化为以下谓词公式：

(1) ~M(L) → M(W)

(2) M(L) → M(W)

(3) M(Z) ∧ M(L) ∧ M(W)

我们还需要将结论否定的谓词公式转化为子句形式：

~M(x) ∨ ANSWER(x)

然后，我们可以将所有谓词公式和结论否定的谓词公式转化为子句集合：

{ ~M(L), M(W) }, { M(L), M(W) }, { M(Z), M(L), M(W) }, { ~M(x), ANSWER(x) }

接下来，我们可以使用归结演绎推理来求解。假设我们要证明 ANSWER(x) 成立，也就是单位一定录取某个人 x。我们可以使用归结规则将前三个子句进行归结：

{ ~M(L), M(W) } { M(L), M(W) } { M(Z), M(L), M(W) }
--------------------------------------------------------------
{ ~M(Z), M(W) }

接着，我们可以使用归结规则将得到的新子句 { ~M(Z), M(W) } 与最后一个子句 { ~M(x), ANSWER(x) } 进行归结：

{ ~M(Z), M(W) } { ~M(x), ANSWER(x) }
----------------------------------------
{ ~M(Z), ANSWER(Z) }

因此，单位一定录取小张（Z）。