经典指数          
原因
740
浏览数
0
收藏数
 

消解原理将各种不用的推理规则简化为一条,即求消解式,消解式与亲本子句消解只能在 1 中进行。

     举报   纠错  
 
切换
暂时还没有答案,欢迎分享你的解答 . . .
撰写答案
扫描后移动端查看本题