反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。
选项:
A:永真式
B:包孕式(subsumed)
C:空子句
D:行列式
发布时间:2024-06-16 23:17:51
以下文字与答案无关
提示:有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题,这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏,所以恳请 广大网友理解。