中国大学MOOC: 谓词公式不可满足的充要条件是其子句集不可满足。
举一反三
- 中国大学MOOC: 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。
- 中国大学MOOC: 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
- 由谓词公式转化子句集的过程可以看出，在子句集中子句之间是_______关系，其中只要有一个关系不可满足，则子句集就不可满足。 A: 析取 B: 合取 C: 继承 D: 包含
- 以下哪一项表明谓词公式F和其标准子句集为S之间的关系？ A: S不可满足则F不可满足 B: F不可满足则S不可满足 C: S可满足则F可满足 D: F可满足则S可满足
- 设有谓词公式F，其标准子句集为S，请问以下哪一个选项的说法是正确的？ A: F不可满足则S也不可满足 B: F可满足则S可满足 C: S不可满足则F不可满足 D: S可满足则F可满足