归结原理1例证明子句集PV-Q,-P,Q是不可满足的。证(1) PVQ(2) P(3) Q(4) Q由(1),(2)(5) 口由(3),(4)2例用归结原理证明R是P,(PAQLR,(SVU)fQ,U的逻辑结果。证：由所给条件与结论的否定得到子句集S=P,PV-QVR,SVQ,UVQ,U,R然后对该子句集施行归结，归结过程可用下图所示的归结演绎树表示。由于最后推出了空子句，所以子句集S不可满足，即命题公式PA(-PV-QVR)A(-SVQ)A(-UVQ)AUA-R不可满足，从而R是题设前提的逻辑结果。3例设已知：(1) 能阅读者是识字的；(2) 海豚不识字；(3) 有些海豚是很聪明的。试证明：有些聪明者并不能阅读。证首先，定义如下谓词：R(x)：x能阅读。L(x)：x识字。I(x)：x是聪明的。D(x)：x是海豚。然后把上述各语句翻译为谓词公式：(1)x(R(x)fL(x)能阅读者是识字的x(D(x)f-L(x)海豚不识字已知条件x(D(x)Al(
