由“s必然是p为真”，可推出的结论有（）。

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

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

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

[填空题] 由“S必然是P”为真，可以推知“S可能是P”为（），“S可能不是P”为（）。

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

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

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

[多选题] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。A .二难推理的简单构成式B .二难推理的复杂构成式C .选言推理的肯定否定式D . D.选言推理的否定肯定式E .联言推理的组合式

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

[多选题] 由“任务必然完成”可推出（）。A . 任务不可能不完成B . 任务不必然完成C . 并非任务不必然完成D . 并非任务可能完成E . 任务可能没完成