多项选择题
A．p←﹁q，q ├ ﹁q
B．﹁p→q，﹁p ├ q
C．p∨q，﹁p ├ q
D．
E．p→﹁q，q→﹁r，﹁r→s ├ p→s
下列演绎推理式中，无效式为______
A．p←﹁q，q ├ ﹁q
B．﹁p→q，﹁p ├ q
C．p∨q，﹁p ├ q
D．
E．p→﹁q，q→﹁r，﹁r→s ├ p→s