网友您好, 请在下方输入框内输入要搜索的题目:
题目内容
(请给出正确答案)
判断题
归结过程就是"寻找"空子句的过程。
A
对
B
错
参考答案
参考解析
解析:
暂无解析
更多 “判断题归结过程就是"寻找"空子句的过程。A 对B 错” 相关考题
考题
对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。
A、置换置换B、合一合一C、归结归结D、递归递归
考题
填空题在删除策略归结的过程中删除以下子句:含有()的子句;含有永真式的子句;子句集中被别的子句类含的子句。
热门标签
最新试卷