下列演绎推理式中,无效式为( )
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)
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。