下列假言推理为有效式的有（）。

• 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