任何一个谓词公式，都可以通过等价关系及推理规则化成相应的子句集。子句集不可满足，不是谓词公式不可满足的充要条件。

任何一个谓词公式，都可以通过等价关系及推理规则化成相应的子句集。子句集不可满足，不是谓词公式不可满足的充要条件。
正确答案：错误