反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证
·永真式\t\t\t
·包孕式（subsumed）\t\t
·空子句
出自：佳木斯大学语言治疗学

提示：
同一【IP】的非会员用户每天可免费获取10次答案

收藏本站【zk.995w.com】，下次访问不迷路

本站试题总数:【10245188】个 (题库试题定时更新)