多项选择题
以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。
A.p→﹁q B.q→p C.p∨﹁q D.p↔q E.p→q
多项选择题 下列假言推理为有效式的有（）。
多项选择题 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。
多项选择题 以﹁p为前提进行有效推理，另一前提可以是（）。
