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