如果结果不匹配，请 
更多“消解反演证明定理时，若当前归结式是空子句，则定理得证。()”相关的问题
第2题
消解反演证明定理的思路是：给定一个公式集S(前提条件)和目标公式L(结论)，通过反演来求证目标公式L，其证明过程为：否定L，得到～L、把～L加到S中、把新形成的集合{S，～L}化为子句集、应用消解原理，试图导出一个表示矛盾的空子句。()此题为判断题(对，错)。
第6题
带权图(权值非空，表示边连接的两个顶点间的距离)的最短路径问题是找出从初始顶点到国标顶点之
带权图（权值非空，表示边连接的两个顶点间的距离)的最短路径问题是找出从初始顶点到国标顶点之
点击查看答案
间的一条最短路径，假设从初始顶点到目标顶点之间存在路径。现有一种解决该问题的方法：
(1)设最短路径初始时仅包含初始顶点，令当前顶点u为初始顶点;
(2)选择离u最近且尚未在最短路径中的一个顶点v，加人到最短路径中，并修改当前结点u=v;
(3)重复步骤(2)，直到u是目标顶点时为止。
请问上述方法能否求解最短路径？若该方法可行，请证明之;否则请举例说明。
第9题
设f（x)在[a,b]只有一个奇点x=b,证明定理8.2.3'和定理8.2.5'.定理8.2.3'（Cauchy判
设f(x)在[a,b]只有一个奇点x=b,证明定理8.2.3'和定理8.2.5'.
定理8.2.3'(Cauchy判别法)设在[a,b)上恒有f(x)≥0,若当x属于b的某个左邻域[b-η0,b)时,存在正常数K,使得
