反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台
A永真式6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台
B包孕式susume)6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台
C空子句6a0答案窝(daanwo.com)-大学生作业答案及考资分享平台