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

以下各栏为前提,可必然推出结论SOP的是()() 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 由“s必然是p为真”，可推出的结论有（）。 以“如果要增强企业活力，就必须进行体制改革”和“不进行体制改革”为前提，可必然推出结论（ ）。 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是（） 以“p∨q→r”和“﹁r”为前提，能有效推出的结论是(　　　) 以“如果要增强企业活力，就必须进行体制改革”和“不进行体制改革”为前提，可必然推出的结论为( ) 以“不可能P”为前提，可推出（）、（） 以“所有P是M”和“所有s不是M”为大、小前提进行三段论推理，可必然推出( ) 以“所有P是M”和“所有S不是M”为大、小前提进行三段论推理，可必然推出（）。 以PEM为大前提、MAS为小前提构成的三段论，能必然推出结论（）。 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。 以“所有P是M”、“所有S不是M”为大小前提，进行三段论推理，可必然推出（）。 以“不必然（非p或q）”为前提进行等值推理，其结论为（）。 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 以PEM为前提，增补哪两个选项之一为另一前提，可以必然推出SOP的结论（）。 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 以“甲队如果战胜了乙队和丙队，就能出线”为前提，以“甲队不能出线”为另一前提，可推出结论（ ） 以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。 以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有