归结方法将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。()此题为判断题(对，错)。

第1题：

13、对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

第2题：

请回答谓词公式化简为子句集总共有哪几个步骤？

第3题：

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

第4题：

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

第5题：

3、在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程可以直接进行匹配。