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

[多选题]以“不可能p”为前提，根据模态逻辑方阵，可必然推出的结论有（）。A.必然非pB.必然pC.不可能非pD.可能pE.并非必然p

[多选题] 以SE﹁P为前提，可必然推出（）和（）。A . ﹁PA﹁SB . ﹁SIPC . ﹁SO﹁PD . PE﹁SE . PO﹁S

[单选题]以“不可能（p并且q）”为前提进行等值推理，其结论为（）。A . 可能（非p或非q）B . 必然（p且非q）C . 必然（非p或非q）D . 必然（如果p则q）

[多选题] 以下各栏为前提，可必然推出结论SOP的是（）。A . MAPSIPB . POMSIMC . MEPMISD . PIMMESE . MEPSAM

[多选题]由“s必然是p为真”，可推出的结论有（）。A.s可能是p为真B.s可能不是p为真C.s必然不是p为假D.s必然不是p为真E.s可能是p为假

[多选题]由“s必然是p为真”，可推出的结论有（）。A.s可能是p为真B.s可能不是p为真C.s必然不是p为假D.s必然不是p为真E.s可能是p为假

[多选题] 以下列各组命题形式为前提，可必然推出结论SOP的是（）.A . MAP∧SIMB . POM∧SAMC . MEP∧MISD . PIM∧MESE . MEP∧SAM

[单选题]依据逻辑方阵，由SAP推出的结论是（）。A . SEPB . SIPC . SOPD . SE﹁P

[多选题] 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。A . ﹁r∨﹁sB . r∧sC . ﹁p∧﹁qD . ﹁p∨﹁qE . r∨s

[多选题] 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式