利用归结原理证明定理时,若得到的归结式为(),则结论成立。

0 阅读

利用归结原理证明定理时,若得到的归结式为(),则结论成立。

请帮忙给出正确答案和分析,谢谢!