题目详情
单选题 反演归结(消解)证明定理时,若当前归结式是(A)时,则定理得证
A. 空子句
B. 包孕式(subsumed)
C. 永真式
D. 重言式
学科:人工智能
时间:2023-10-04 03:09:01
相关题目
相关作业