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

题目
填空题
利用归结原理证明定理时,若得到的归结式为(),则结论成立。
参考答案和解析
正确答案: 空集
解析: 暂无解析
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。
相似问题和答案

第1题:

利用风可以得到飞机气动参数,其基本依据是

A.连续性假设

B.相对性原理

C.牛顿定理


正确答案:B

第2题:

概率的运算性质中,下列结论成立的有( )。

A.

B.P(A∪B)=P(A)+P(B)

C.若,则P(A-B)=P(A)-P(B)

D.若P(A)≠0,则P(AB)=P(A)P(B|A)

E.若A、B相互独立,则P(B|A)=P(B)


正确答案:ACDE
解析:概率的性质包括:①概率的数值介于0与1之间,即对任意事件A有:0≤P(A)≤1;④事件A与B的并的概率为:P(A∪B)=P(A)+P(B)-P(AB);⑤若A、B互不相容,则P(A∪B)=P(A)+P(B),对于多个互不相容事件A1,A2,A3,…,有:P(A1∪A2∪A3∪…)=P(A1)+P(A2)+P(A3)+…;⑥对任意事件A、B,有:P(AB)=P(A|B)P(B)=P(B|A)P(A),P(B)>0,P(A)>0;⑦若A、B相互独立,则P(AB)=P(A)P(B);⑧若A、B相互独立,

第3题:

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

A.永真式

B.包孕式(subsumed)

C.空子句


答案:C

第4题:

在区间[0,8]上,下列中哪个结论是正确的?
A.罗尔定理不成立 B.罗尔定理成立,且ζ=2
C.罗尔定理成立,且ζ=4 D.罗尔定理成立,且ζ=8


答案:C
解析:
提示:验证函数是否满足罗尔定理的条件,利用罗尔定理结论求出ζ值如下。
f(x)在[0,8]上连续,在(0,8)内可导,且f(0)=f(8)=0,利用罗尔定理,在(0,8)之间至

第5题:

若事件A1,A2,A3两两独立,则下列结论成立的是().


答案:B
解析:

第6题:

给定关系模式R<U ,F> ,其中 U 为关系 R 的属性集,F 是 U 上的一组函数依赖, X 、Y、Z 、W 是 U 上的属性组。下列结论正确的是( )。

A.若 wx →y , y →Z 成立,则 X →Z 成立B.若 wx →y ,y →Z 成立,则 W →Z 成立C.若 X →y ,WY →z 成立,则 xw →Z 成立D. 若 X →y ,Z ⊆ U 成立,则 X →YZ 成立


正确答案:C

第7题:

19世纪,库默尔利用他创立的()理论证明了费马大定理对很多素数都成立。


参考答案:理想数

第8题:

谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()

A.C1’σ∨C2’σ

B.C1’∨C2’

C.C1’σ∧C2’σ

D.C1’∧C2’


答案:A

第9题:

设A为n阶矩阵,A^2=A,则下列结论成立的是().

A.A=O
B.A=E
C.若A不可逆,则A=O
D.若A可逆,则A=E

答案:D
解析:
因为A^2=A,所以A(E-A)=O,由矩阵秩的性质得,r(A)+r(E—A)=n,若A可逆,则r(A)=n,所以r(E-A)=0,A=E,选(D).

第10题:

(Ⅰ)证明拉格朗日中值定理:若函数f(x)在[a,b]上连续,在(a,b)内可导,则存在ξ∈(a,b),使得f(b)-f(a)=f'(ξ)(b-a);(Ⅱ)证明:若函数f(x)在x=0处连续,在(0,δ)(δ>0)内可导,且=A,则存在,且.


答案:
解析:

更多相关问题