(2)若把C12加入到S中,得到新子句集 S2,则S2与S在不可满足意义上是等价 的。即 S2不可满足◇S不可满足 例、用归结原理证明R是P,(P∧Q) →R,(SVU)→R,U的逻辑结 果（２）若把C1２加入到S中，得到新子句集 S２，则S２与S在不可满足意义上是等价 的。即 S2不可满足 S不可满足 例、用归结原理证明R是P， （P  Q） → R， （ SU） → R，U的逻辑结 果