下列推理形式中,有效式是( )
A:(p∧q∧r)→(p∧r)
B:((→)∧q)→p
C:((p∨q)∧p)→
D:((←q)∧)→q
E:((p→)∧)→q
出自:00024《普通逻辑》