工学
单选题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A 永真式B 包孕式C 空子句
题目
单选题
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A
永真式
B
包孕式
C
空子句
如果没有搜索结果，请直接 联系老师 获取答案。
如果没有搜索结果，请直接 联系老师 获取答案。
相似问题和答案
第1题：
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
答案：A
第2题：
(Ⅰ)证明拉格朗日中值定理：若函数f(x)在［a，b］上连续，在(a，b)内可导，则存在ξ∈(a，b)，使得f(b)-f(a)=f'(ξ)(b-a)；(Ⅱ)证明：若函数f(x)在x=0处连续，在(0，δ)(δ>0)内可导，且
=A，则
存在，且.
=A，则存在，且.答案：
解析：
第3题：
用补码表示的两个整数相加时，判断溢出的规则是( )。
A．若结果的符号位是0，则一定溢出
B．若结果的符号位是1，则一定溢出
C．两个符号位相同的数相加，若结果的符号与加数的符号位相反，则一定溢出
D．若结果的符号位有进位，则一定溢出
正确答案：C
第4题：
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
正确答案:删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
第5题：
化学需氧量是指在一定条件下，用（）消解水样时，所消耗（）的量，以（）表示。
正确答案:强氧化剂；氧化剂；氧的mg/L
第6题：
若A,B均为n阶方阵,则当|A|>|B|时，A,B一定不相似
答案：对
解析：
正确，因为相似矩阵必须有相同特征值和行列式
第7题：
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
正确答案:空集
第8题：
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式
B.包孕式(subsumed)
C.空子句
答案：C
第9题：
充分条件假言判断的含义是（）。
- A、当前件真时，后件一定真
- B、当前件假时，后件一定假
- C、当前件真时，后件假
- D、当前件假时，后件一定真
正确答案:A
第10题：
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
- A、永真式
- B、包孕式
- C、空子句
正确答案:C