多项选择题

下列演绎推理式中,无效式为( )。

A.(┐p→q)∧q├┐q
B.(p←q)∧┐p├┐q
C.(p∨q)∧┐p├q
D.(要么p要么q)∧p├q
E.(p→┐q)∧(┐q→r)∧(r→s)├ (p→s)
热门 试题