下列假言推理为有效式的有()。
A:(﹁p→q)∧p├﹁q
B:(p→﹁q)∧q├﹁p
C:(﹁p←﹁q)∧﹁p├q
D:(p←﹁q)∧﹁q├p
E:(p→﹁q)∧p├﹁q
出自:哲学