题目详情
单选题 以下说法不正确的是
A. 设有谓词公式F,其标准子句集为S,则F为不可满足的充要条件是S为不可满足的
B. 子句集中的子句之间是析取关系
C. 归结式C12是其亲本子句C1和C2的逻辑结论
D. 子句集S是不可满足的,当且仅当存在一个从S到空子句的归结过程
学科:(电智21级)24年春人工智能
时间:2024-03-05 03:37:07
相关题目
相关作业