以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

第1题：

以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。

第2题：

以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。

• A、～r
• B、～q
• C、～p
• D、r→p
• E、p∧q

第3题：

以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

• A、s
• B、﹁q
• C、﹁q∧s
• D、﹁r∧s
• E、（﹁q∨﹁r）∧s

第4题：

以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

• A、二难推理的简单构成式
• B、二难推理的复杂构成式
• C、选言推理的肯定否定式
• D、选言推理的否定肯定式
• E、联言推理的组合式

第5题：

在下列选言推理形式中，无效的有（）。

• A、（p∨q）∧p├﹁q
• B、（pqr）∧﹁p├q∧r
• C、（pqr）∧﹁p├qr
• D、（p∨q∨r）∧﹁p├q∨r
• E、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s

第6题：

以“（p→q）→r”和“～r”为前提，可必然推出结论（）。

• A、～p∧q
• B、r→p
• C、q∨r
• D、～（～p∨q）
• E、～q∧p

第7题：

以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。

• A、～（p∨q），能必然推出（～r∨～s）
• B、（～r∨～s），能必然推出（p∨q）
• C、（p∨q），能必然推出～（r∧s）
• D、～（r∧s），能必然推出（～p∨～q）

第8题：

在以下二难推理中，无效式是（）

• A、（（（p→q）∧（r→s））∧（p∨r））→（q∨s）
• B、（（（p→q）∧（r→s））∧（∨）
• C、（（p→q）∧（p→r））∧（∨））→p
• D、（（（p→q）∧（r→q））∧（p∨r））→q

第9题：

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

• A、一次运用选言推理的否定肯定式
• B、联言推理的分解式
• C、两次运用选言推理的否定肯定式
• D、充分条件推理的肯定前件式
• E、联言推理的组合式

第10题：

下列推理形式中，无效的有（）。

• A、（（p∨～q）∧q）→～p
• B、（（p∧q）∧r）→（p∧r）
• C、（（～p→q）∧q）→～p
• D、（（p→q）∧（r∧p））→q
• E、（p→q）∧（r→s）∧（q∨s））→（p∨r）