17. (单选题) 、(A→B∧A=>B是(本题3.5分)
A、 附加律
B、 拒收律
C、 假言推理
出自:黑龙江省教育学院人工智能(高起专)