以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。

[多选题] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。A .二难推理的简单构成式B .二难推理的复杂构成式C .选言推理的肯定否定式D . D.选言推理的否定肯定式E .联言推理的组合式

[填空题] 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。

[填空题] 以p→（）和q为前提进行推理，结论是（）。

[多选题] 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式

[多选题] 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。A . 一次运用选言推理的否定肯定式B . 联言推理的分解式C . 两次运用选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 联言推理的组合式

[多选题] 以﹁p为前提进行有效推理，如果希望得到﹁q为结论，可增加的另一个前提有（）。A . p→﹁qB . q→pC . p∨﹁qD . p↔qE . p→q

[单选题]以“不可能（p并且q）”为前提进行等值推理，其结论为（）。A . 可能（非p或非q）B . 必然（p且非q）C . 必然（非p或非q）D . 必然（如果p则q）

[单选题]以“不必然（非p或q）”为前提进行等值推理，其结论为（）。A .可能（p且非q）B .可能（非p且q）C .可能（非p或q）D . D.必然（p且非q）

[多选题] 以﹁p为前提进行有效推理，另一前提可以是（）。A . p←﹁qB . p→﹁qC . p∨qD . ﹁p∨﹁qE . ﹁p←q

[单选题]以SAP为前提进行换位法推理，推出正确的结论是（）。A . PASB . PISC . PISD . PIS