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


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

正确答案:错误


Tag:谓词 子句 公式 时间:2024-05-26 15:46:40