中国大学MOOC: 对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
错
举一反三
内容
- 0
中国大学MOOC: 对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。
- 1
由谓词公式转化子句集的过程可以看出，在子句集中子句之间是_______关系，其中只要有一个关系不可满足，则子句集就不可满足。 A: 析取 B: 合取 C: 继承 D: 包含
- 2
子句集中的子句之间是合取关系。因此，子句集中只要有一个子句为不可满足，则整个子句集就是不可满足的。
- 3
对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。
- 4
对于一阶谓词逻辑,如果没有归结出空子句,则说明原谓词公式是不可满足的。[br][/br] [br][/br] A: 对 B: 错