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

题目详情

单选题 反演归结(消解)证明定理时,若当前归结式是(A)时,则定理得证

A. 空子句

B. 包孕式(subsumed)

C. 永真式

D. 重言式

学科:人工智能

时间:2023-10-04 03:09:01

Copyright © 2022 津ICP备2021001502号