A.必然非p
B.必然p
C.不可能非p
D.可能p
E.并非必然p
[多选题]以“不可能p”为前提,根据模态逻辑方阵,可必然推出的结论有()。A.必然非pB.必然pC.不可能非pD.可能pE.并非必然p
[多选题] 以SE﹁P为前提,可必然推出()和()。A . ﹁PA﹁SB . ﹁SIPC . ﹁SO﹁PD . PE﹁SE . PO﹁S
[单选题]以“不可能(p并且q)”为前提进行等值推理,其结论为()。A . 可能(非p或非q)B . 必然(p且非q)C . 必然(非p或非q)D . 必然(如果p则q)
[多选题] 以下各栏为前提,可必然推出结论SOP的是()。A . MAPSIPB . POMSIMC . MEPMISD . PIMMESE . MEPSAM
[多选题]由“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为假
[多选题] 以下列各组命题形式为前提,可必然推出结论SOP的是().A . MAP∧SIMB . POM∧SAMC . MEP∧MISD . PIM∧MESE . MEP∧SAM
[单选题]依据逻辑方阵,由SAP推出的结论是()。A . SEPB . SIPC . SOPD . SE﹁P
[多选题] 以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。A . ﹁r∨﹁sB . r∧sC . ﹁p∧﹁qD . ﹁p∨﹁qE . r∨s
[多选题] 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式