反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台

A永真式6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台

B包孕式susume)6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台

C空子句6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台