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

<>试卷标题：2019年陕西省专业技术人员继续教育网公需科目【人工智能与未来教育】练习考试课后测试答案反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。A.永真式B