不挂科搜题免费

问题:

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证

答案:

空子句