登录  注册

首页->东数西算

鲁宾逊归结原理中,设C1与C2是子句集S中的两个子句,C12是它们的归结式,若把C12加入S中,得到新子句集S2,则S与S2是等价的。( )

(A)对

(B)错

参考答案
继续答题:下一题
微考学堂微考学社

更多东数西算试题

考试