问答题 使用线性归结法（resolution）证明 A1∧A2∧A3→B
【正确答案】无
【答案解析】要证明A1∧ A2∧ A3 →B，也就是要证明A1∧ A2∧ A3 ∧~B是永假式（矛盾式）结果是NIL，命题得证。