以“不可能p”为前提,根据模态逻辑方阵,可必然推出的结论有()。A.必然非pB.必然pC.不可能非pD.可能pE.并非必然p
以“不可能p”为前提,根据模态逻辑方阵,可必然推出的结论有()。
A.必然非p
B.必然p
C.不可能非p
D.可能p
E.并非必然p
B.必然p
C.不可能非p
D.可能p
E.并非必然p
参考解析
解析:本题考查的知识点是模态推理。以“不可能p”为前提,根据矛盾关系可必然推出“必然非p”,根据下反对关系可必然推出“可能非p”,根据差等关系可必然推出“并非必然p”。故选AE。
相关考题:
以~p为一个前提进行演绎推理,如果()。A、加上前提(p∨q),则能必然推出结论qB、加上前提(q∨~p),则能必然推出结论qC、加上前提(p→q),则能必然推出结论~qD、加上前提~q,则能必然推出结论(~q∧~p)E、加上前提(q→p),则能必然推出结论~q
多选题以~p为一个前提进行演绎推理,如果()。A加上前提(p∨q),则能必然推出结论qB加上前提(q∨~p),则能必然推出结论qC加上前提(p→q),则能必然推出结论~qD加上前提~q,则能必然推出结论(~q∧~p)E加上前提(q→p),则能必然推出结论~q
多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q