以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。
以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。A、一次运用选言推理的否定肯定式B、联言推理的分解式C、两次运用选言推理的否定肯定式D、充分条件推理的肯定前件式E、联言推理的组合式
点击查看答案
以“只有p，才q且r”和“非P”为前提，可必然推出结论（）。A、非q且非rB、非q或非rC、非q或rD、非q且r
以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。
以“～p”和“p←（q←r）”为前提，可必然推出结论（）。A、p←rB、～p∨rC、q→pD、rE、～（q←r）
以“p∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。A、pB、～sC、～r∧pD、～rE、s→q
以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。A、﹁r∨﹁sB、r∧sC、﹁p∧﹁qD、﹁p∨﹁qE、r∨s
填空题以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。
