以下列各组命题形式为前提，可必然推出结论SOP的是（）.

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

[多选题]以PEM为前提，增补哪两个选项之一为另一前提，可以必然推出SOP的结论（）。A.SAMB.SEMC.SIMD.SOME.MA

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

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

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

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

[单选题]已知一个三段论的大前提是A命题，小前提是O命题，如果要使之得出必然有效的结论，则此三段论只能是（）A . 第一格B . 第二格C . 第三格D . 第四格

[多选题] 以“有些刑事案件是不公开审理案件”为前提进行命题变形直接推理，可推出的结论有（）.A . 有的刑事案件不是公开审理案件B . 有的公开审理案件不是刑事案件C . 有的不公开审理案件是刑事案件D . 有的刑事案件是公开审理案件E . 有的公开审理案件是刑事案件

[填空题] 以“A—N”、“R+W”为前提的纯假言推理，若要能必然推出“W—万”的结论来，则至少还需要加上的那个前提必为（）。