多项选择题
以~p为一个前提进行演绎推理,如果()。
A.加上前提(p∨q),则能必然推出结论q B.加上前提(q∨~p),则能必然推出结论q C.加上前提(p→q),则能必然推出结论~q D.加上前提~q,则能必然推出结论(~q∧~p) E.加上前提(q→p),则能必然推出结论~q
多项选择题 根据性质命题的相关知识,由EPS可以必然推出()。
多项选择题 设“如果(非p或非q),那么(r或s)”和“非r并且非s”为两个真命题,则以它们为论据可以证明()。
多项选择题 下述各种情况中,属于违反排中律要求的有()。