我已经完成了解析规则的排除过程，并最终得到了集合。
{pq， not p， not q}.
根据我的教科书：引理：如果两个子句在多个字面上发生冲突，他们的解决是一个微不足道的原因......然后继续说，对此类条款执行决议并非严格不正确，但由于琐碎的条款对一组条款的满足或不满足没有任何帮助，我们同意删除它们......
但在其他地方，我已经阅读了不要删除它们，因为没有理由这两个条款都是真的。
那么 able 子句会让我留下空集 {} 让我最终回答该集合不满意吗？还是我把它作为我的最终答案？问题说证明它是可以满足的，所以我猜我应该把子句留在集合中，这样它就可以了，但教科书说要删除它们。
在您的示例中，没有任何两个子句会在两个文本中发生冲突。两个这样的子句可以是 {p，r，q} 和 {~p，~r，s}，你会得到 {r，~r，q，s}，它总是可以满足的(重言式(。所以，你会删除它我们无用。
在您的示例中，在对三个子句应用两个解析步骤后，您将得到一个空集：{pq}，~p 产生 q 和 {q}，{~q} 产生一个空集。因此，这组子句是不满足的。
如果任务是证明某事是可以满足的，那么在推导的早期一定有问题。