命题分解的完备性：一个简单的建设性证明第条
作者：Jean Gallier
无效的
让·盖利尔
众所周知，（命题逻辑的）分解方法是完成。然而，文献中发现的完整性证明使用了一个论点通过矛盾表明，如果一组子句不可满足，那么必须有决心反驳。因此，这些证据都没有实际上给出了从不可满足的子句集。在本说明中，我们给出了一个简单且具有建设性的命题分解完备性的证明，其中包含算法及其正确性的证明。
卷：第2卷第5期
发布日期：2006年11月7日
提交日期：2006年6月9日
关键词：计算机科学-计算机科学中的逻辑，计算机科学-人工智能，F.4.1，I.2
