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

题目

如果没有搜索结果，请直接联系老师获取答案。

相似问题和答案

第1题：

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

A.连续性假设

B.相对性原理

C.牛顿定理

正确答案：B

第2题：

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

参考答案：理想数

第3题：

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

A.永真式

B.包孕式(subsumed)

C.空子句

答案：C

第4题：

设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).

第5题：

给定关系模式R，其中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

解析：

函数依赖的公理系统（Armstrong）设关系模式R,U是关系模式R的属性全集，F是关系模式R的一个函数依赖集。对于R来说有以下的：自反律：若Y?X?U，则X→Y为F所逻辑蕴含增广律：若X→Y为F所逻辑蕴含，且Z?U，则XZ→YZ为F所逻辑蕴含传递律：若X→Y和Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含合并规则：若X→Y，X→Z，则X→YZ为F所蕴涵伪传递率：若X→Y，WY→Z，则XW→Z为F所蕴涵分解规则：若X→Y，Z?Y，则X→Z为F所蕴涵

第6题：

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

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相互独立，

第7题：

在区间[0，8]上，