我已经完成了解决规则的消除过程，最终得到了该集合。
{pq，not p，not q}。
根据我的教科书：引理：如果两个条款在一个以上的字面上发生冲突，那么他们的解决方案就是一个微不足道的原因......然后继续说这个条款的解决并不严格，但是因为琐碎的条款有所贡献对于一套条款的可满足性或不可满足性，我们同意删除它们......
但在其他地方我已经读过不要删除它们，因为没有理由这两个条款都是真的。
那么有能力的条款会让我得到空集{}，这使得我的最终答案是该集不可满足吗？或者我把它作为我的最终答案？问题说证明它是可以满足的，所以我猜我应该把这些条款保留在集合中，但是教科书说要删除它们。
答案 0 :(得分：0)
在您的示例中，没有任何两个子句会在两个文字中发生冲突。两个这样的子句可以是{p，r，q}和{〜p，〜r，s}，您将得到{r，〜r，q，s}，它总是可以满足的（重言式）。因此，您将无用地将其删除。
在您的示例中，对三个子句应用了两个解析步骤后，您将得到一个空集：{pq}，〜p产生q和{q}，{〜q}产生一个空集合。因此，这组子句不能令人满意。
如果任务是证明某些东西是可以满足的，则在推导的早期必须有一些错误。