以SE^﹁P为前提，可必然推出（）和（）。

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

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

[多选题]以“所有P是M”和“所有S不是M”为大、小前提进行三段论推理，可必然推出（）。A.所有S不是PB.所有S是PC.有S是PD.有S不是PE.没有S不是P

[多选题]以“所有P是M”和“所有S不是M”为大、小前提进行三段论推理，可必然推出（）。A.所有S不是PB.所有S是PC.有S是PD.有S不是PE.没有S不是P

[多选题] 以“所有P是M，所有S不是M”为前提进行三段论推理，可必然推出（）。A . SEPB . SAPC . SIPD . SOPE . 没有S不是P

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

[多选题] 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。A . sB . ﹁qC . ﹁q∧sD . ﹁r∧sE . （﹁q∨﹁r）∧s

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

[多选题]由“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为假