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