归结演绎推理中为什么要求解子句集

Question

如题所述

Answer 1

归结演绎推理中要求解子句集原因如下。
1、谓词公式不可满足的充要条件是其子句集不可满足，因此，要把谓词公式转换为子句集。
2、要把谓词公式转换为子句集，再用鲁滨逊归结原理求解子句集来判断。