反演归结（消解）证明定理时若当前归结式是（）时则定理得证。

时间：2019-04-01 06:01:56 关键词：定理

反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

A.永真式

B.包孕式

C.空子句

答案解析

C

举一反三

利用归结原理证明定理时若得到的归结式为（）则结论成立。

决策支持系统智能化发展的结果导致了（）的出现。

在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

在资源访问控制策略中会产生权限传递的是（）

反演归结（消解）证明定理时若当前归结式是（）时则定理得证。

考题搜索

最新问题

每支代维队伍钳型电流表最低配置标准为（）。

每支代维队伍笔记本最低配置标准为（）。

每支代维队伍必须配置一台黄马甲。（）

Windows98注册表的操作有（）。

Solaris系统使用什么命令查看已有补丁列表？（）

下列哪种硬件设置通常必须在内置调制解调器上配置（）

Windows7系统对内存的最低配置要求为（）。

TRICON控制器是一种：（）控制器

NPC在销户指令生效前（）个大额支付系统工作日日终后将撤销清算账户置为待销户状态并将账户状态变更通知通过大额支付系统发送各CCPC。

耐久跑中的途中跑要求跑的节奏与（）节奏相配合。