某单位派遣出国人员，有赵、钱、孙三位候选人，经讨论后决
某单位派遣出国人员，有赵、钱、孙三位候选人，经讨论后决定：
（1）三人中至少派遣一人。
（2）如果赵去而钱不去，则一定派孙去。
（3）如果钱去，则一定派孙去。
求证：一定会派孙出国。
设用 P(x)表示派 x 出国，zhao、qian、sun 分别表示三人，将已知条件与目标用谓词公式正确的表示出来，并用消解反演进行证明。
答案
已知条件与目标公式：
条件：（1）P(zhao)∨P(qian)∨P(sun)
（2）P(zhao)∧¬ P(qian)->P(sun)
（3）P(qian)->P(sun)
目标：P(sun)
子句集：
(1) P(zhao)∨P(qian)∨P(sun)
(2) ¬P(zhao)∨P(qian)∨P(sun)
(3) ¬P(qian)∨P(sun)
(4) ¬P(sun)
消解树：
