【单项选择题】
在以下假言推理中,有效式是()
A、A.((→)∧p)→q
B、B.((→)∧)→
C、C.(→)∧)→(
D、D.((p←)∧p)→
A、A.((→)∧p)→q
B、B.((→)∧)→
C、C.(→)∧)→(
D、D.((p←)∧p)→
A、违反了必要条件假言推理“肯定前件,不能肯定后件”的规则 B、违反了必要条件假言推理“否定后件,不能否定前件”的规则 C、违反了充分条件假言推理“否定前件,不能否定后件”的规则 D、违反了充分条件假言推理“肯定后件,不能肯定前件”的规则