相关考题
-
多项选择题
以~p为一个前提进行演绎推理,如果()。
A.加上前提(p∨q),则能必然推出结论q
B.加上前提(q∨~p),则能必然推出结论q
C.加上前提(p→q),则能必然推出结论~q
D.加上前提~q,则能必然推出结论(~q∧~p)
E.加上前提(q→p),则能必然推出结论~q -
多项选择题
根据性质命题的相关知识,由EPS可以必然推出()。
A.PAS
B.SIP
C.PIS
D.SOP
E.POS -
多项选择题
设“如果(非p或非q),那么(r或s)”和“非r并且非s”为两个真命题,则以它们为论据可以证明()。
A.p并且q
B.非p并且非q
C.并非(如果p,那么非q)
D.p或q
E.并非(只有非p,才q)
