以“不可能p”为前提，根据模态逻辑方阵，可必然推出的结论有（）。

以“必然P”为前提，可必然推出 以“必然P”为前提，可必然地推出（）、（）、（） 以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。 以MAP为大前提，MAS为小前提，可必然推出结论（）。 以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。 以“不可能（p并且q）”为前提进行等值推理，其结论为（）。 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 由“s必然是p为真”，可推出的结论有（）。 以下各栏为前提，可必然推出结论SOP的是（）。 以下各栏为前提,可必然推出结论SOP的是()() 由并非SAP可推出SOP，其根据是逻辑方阵中的 由并非SIP可推出SEP，其根据是逻辑方阵中的 “必然p”与“不可能p”之间的关系应该是 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 “必然非p”与“不可能p”之间的关系应该是（） 以 “如果 p 那么 q ”和“并非 (q 并且非 r) ”为前提进行演绎推理，能必然推出的结论是 前提含有模态词“可能”的模态三段论，无论另一前提是哪种模态词，其结论的模态词应是（）。 以PEM为大前提、MAS为小前提构成的三段论，能必然推出结论（）。 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。