多项选择题
A.p→﹁q B.q→p C.p∨﹁q D.p↔q E.p→q
下列假言推理为有效式的有（）。A.（﹁p→q）∧p├﹁qB.（p→﹁q）∧q├﹁pC.（﹁p←﹁q）∧﹁p├q...
多项选择题下列假言推理为有效式的有（）。
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，所用的推理形式有（）。A.选言推理的肯定否定式B.联...
多项选择题以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。
A.选言推理的肯定否定式 B.联言推理的分解式 C.选言推理的否定肯定式 D.充分条件推理的肯定前件式 E.充分条件推理的否定后件式
以﹁p为前提进行有效推理，另一前提可以是（）。A.p←﹁qB.p→﹁qC.p∨qD.﹁p∨﹁qE.﹁p←q
多项选择题以﹁p为前提进行有效推理，另一前提可以是（）。
A.p←﹁q B.p→﹁q C.p∨q D.﹁p∨﹁q E.﹁p←q
