(A→B)∧A=>B是()
A.附加律
B.拒收律
C.假言推理
D.US
出自:信阳师范学院 人工智能