首页 › 答案 › 题库 › 远程教育 › 联大学堂

（A→B）∧A=>B是（）

（A→B）∧A=>B是（）
A.附加律
B.拒收律
C.假言推理
D.US
正确答案：C

标签：人工智能假言

上一条：反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

下一条：MGU是（）