归结演绎推理

前置知识

将谓词公式化为子句集

以例题演示步骤

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

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

鲁滨逊归结原理

基本思想

定理

例题

归结反演

基本步骤

例题

标签：归结,不可,演绎,满足,谓词,子句,例题
来源： https://www.cnblogs.com/potofsalt/p/13701822.html