归结演绎

归结演绎推理

前置知识

将谓词公式化为子句集

以例题演示步骤

谓词公式不可满足的充要条件是其子句集不可满足

子句集是不可满足的，等价于其全部子句的合取式是不可满足的

鲁滨逊归结原理

基本思想

定理

例题

归结反演

基本步骤

例题