填空题利用归结原理证明定理时，若得到的归结式为（），则结论成立。
填空题
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
参考解析
解析：
暂无解析
相关考题：
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=() A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’
给定关系模式RU ，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 成立
概率的运算性质中，下列结论成立的有( )。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)
(Ⅰ)证明拉格朗日中值定理：若函数f(x)在［a，b］上连续，在(a，b)内可导，则存在ξ∈(a，b)，使得f(b)-f(a)=f'(ξ)(b-a)；(Ⅱ)证明：若函数f(x)在x=0处连续，在(0，δ)(δ>0)内可导，且=A，则存在，且.
设 A为 n 阶方阵，B是 A 经过若干次初等行变换得到的矩阵，则下列结论正确的是（ ）。A.|A|=|B|B.|A|≠|B|C.若|A|=0，则一定有 |B|=0D.若 |A|＞ 0，则一定有 |B|＞ 0
问答题试论述探究勾股定理的证明在初中数学教学中的意义，并给出勾股定理的三个推广结论。