A非P并且非q
BP并且q
C非P并且q
D非P或者非r
设“如果(非p或非q),那么(r或s)”和“非r并且非s”为两个真命题,则以它们为论据可以证明()。
多选题查看答案
从“如果(非p或非q)那么(r或s)和“非r且非s”出发,则可推出()。
多选题查看答案
如果命题p与命题q间具有矛盾关系,命题q与命题r间具有反对关系,那么命题p与命题r具有()关系。
填空题查看答案
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
多选题查看答案
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
多选题查看答案
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
填空题查看答案
什么断定“如果P那么q”和“P并且q”这两个判断形式同假是违反排中律的?
简答题查看答案
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
多选题查看答案
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
多选题查看答案