若C12是子句集S中C1、C2的归结式，则用C12代替C1、C2后得到的新子句集S1不可满足，则S也不可满足 判断题
A、正确
B、错误
发布时间：2024-04-08 16:09:24
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜搜题库网 官方老师解答 )
答案：
相关试题
- 1.若C12是子句集S中C1、C2的归结式，则用C12代替C1、C2后得到的新子句集S1不可满足，则S也不可满足 判断题
- 2.若C12是子句集S中C1、C2的归结式，则用C12代替C1、C2后得到的新子句集S1不可满足，则S也不可满足
- 3.若C12是子句集S中C1、C2的归结式，则用C12代替C1、C2后得到的新子句集S1不可满足，则S也不可满足。
- 4.若C12是子句集S中C1、C2的归结式，若将C12加入到S中后得到的新子句集为S2，则S不可满足的充要条件是S2不可满足 判断题
- 5.若C12是子句集S中C1、C2的归结式，若将C12加入到S中后得到的新子句集为S2，则S不可满足的充要条件是S2不可满足。
- 6.谓词公式不可满足的充要条件是其子句集不可满足。
- 7.谓词公式不可满足的充要条件是其子句集不可满足。（ ）
- 8.对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
- 9.【判断题】对于一阶谓词逻辑,如果没有归结出空子句,则说明原谓词公式是不可满足
- 10.判断下列子句集中哪些是不可满足的（ ）。
