利用归结原理证明定理时，若得到的归结式为（），则结论成立。
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
相关考题：
谓词逻辑下,子句,C1=L∨C1‘,C2=¬L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=() A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’
概率的运算性质中，下列结论成立的有( )。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)
给定关系模式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成立
(Ⅰ)证明拉格朗日中值定理：若函数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
填空题用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）