题海让大学四年没有难题
白天模式登陆

题目详情

单选题 以下说法不正确的是

A. 设有谓词公式F,其标准子句集为S,则F为不可满足的充要条件是S为不可满足的

B. 子句集中的子句之间是析取关系

C. 归结式C12是其亲本子句C1和C2的逻辑结论

D. 子句集S是不可满足的,当且仅当存在一个从S到空子句的归结过程

(电智21级)24年春人工智能课程封面

学科:(电智21级)24年春人工智能

时间:2024-03-05 03:37:07

Copyright © 2022 津ICP备2021001502号