多项选择题 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。

多项选择题 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。

多项选择题 下列假言推理为有效式的有（）。