在以下假言推理中,有效式是()
A:((→)∧p)→q
B:((→)∧)→
C:(→)∧)→(
D:((p←)∧p)→
出自:00024《普通逻辑》