以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。
联言推理有两种形式，这就是联言推理的肯定式和联言推理的否定式。
点击查看答案
“要么P要么q，非p，q”这种结构是哪种推理？（）A、不相容选言推理B、相容选言推理C、联言推理D、假言推理
以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。A、选言推理的肯定否定式B、联言推理的分解式C、选言推理的否定肯定式D、充分条件推理的肯定前件式E、充分条件推理的否定后件式
在下列选言推理形式中，无效的有（）。A、（p∨q）∧p├﹁qB、（pqr）∧﹁p├q∧rC、（pqr）∧﹁p├qrD、（p∨q∨r）∧﹁p├q∨rE、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s
以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。A、一次运用选言推理的否定肯定式B、联言推理的分解式C、两次运用选言推理的否定肯定式D、充分条件推理的肯定前件式E、联言推理的组合式
如果p，那么非q；如果p，那么非r；q或r；所以，非p。这是二难推理的（）。A、简单构成式B、复杂构成式C、简单破坏式D、复杂破坏式
对于相容选言推理和不相容选言推理都是有效式的命题形式是：（）A、肯定式B、否定式C、合取式D、否定肯定式
