Logic 具有2个冲突文本的比例逻辑中的分辨率反驳

我已经完成了解决规则的消去过程，最终得到了集合

{pq，不是p，不是q}

根据我的课本：引理：如果两个子句在多个文本上发生冲突，那么它们的解决方案就是一个微不足道的原因。。。然后继续说，对这些条款执行决议并不是完全错误的，但由于琐碎的条款对一组条款的可满足性或不可满足性没有任何贡献，我们同意删除它们

但在其他地方，我读到不删除这些条款，因为没有理由认为这两个条款都是正确的

---

那么，able子句是否会留给我一个空集{}，让我最终回答这个集是不可满足的？还是我把它作为我的最终答案？问题是证明它是可满足的，所以我猜我应该把这些子句留在集合中，这样就可以了，但教科书上说要删除它们

在您的示例中，没有任何两个子句在两个文本中冲突。两个这样的子句可以是{p，r，q}和{~p，~r，s}，你会得到{r，~r，q，s}，它总是可满足的（重言式）。所以，你会把它拿走，让我们没用

在您的示例中，对三个子句应用两个解析步骤后，您将得到一个空集：{pq}，~p生成q，{q}，{~q}生成一个空集。因此，这组子句是不可满足的

如果任务是证明某事物是可满足的，那么在推导的早期一定有错误