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