以PEM为前提，增补哪两个选项之一为另一前提，可以必然推出SOP的结论（）。

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

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

[多选题] 以﹁p为前提进行有效推理，另一前提可以是（）。A . p←﹁qB . p→﹁qC . p∨qD . ﹁p∨﹁qE . ﹁p←q

[填空题] 已知一个第二格有效三段论的大前提为PEM，结论为SOP，那么小前提应为（）或（）。

[填空题] 已知一个第四格有效三段论的大前提为PEM，结论为SOP，那么小前提应为（）或（）。

[多选题] 以“乙不是作案人”为前提，再增加（）为另一个前提，就可以有效地推出结论“甲是作案人”。A . 如果乙不是作案人，则甲是作案人。B . 甲和乙至少有一个不是作案人。C . 乙是作案人，当且仅当甲不是作案人。D . 如果甲是作案人，则乙不是作案人。

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

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

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

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