(填空题)
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
正确答案
答案解析
略
相似试题
(多选题)
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
(多选题)
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
(多选题)
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
(多选题)
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
(填空题)
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
(单选题)
以"只有P才q或r"和"非P"为前提,可必然推出的结论是()。
(单选题)
以"如果P且q,那么 "和"r" 为前提,可必然推出的结论是()。
(多选题)
设“如果(非p或非q),那么(r或s)”和“非r并且非s”为两个真命题,则以它们为论据可以证明()。
(多选题)
以“~(p∨q)←r”为一个前提,若加上另一个前提()。