利用归结原理证明定理时,若得到的归结式为(),则结论成立。
出自:计算机科学