多项选择题
下列假言推理为有效式的有（）。
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
多项选择题 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。
多项选择题 以﹁p为前提进行有效推理，另一前提可以是（）。
多项选择题 对于有效的直接推理而言，其前提与结论之间不可能具有的关系是（）。
