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

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。
A.正确
B.错误
正确答案：错误