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为假
[多选题]以“不可能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 . 任务可能没完成