(多选题)
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
A~p∧q
Br→p
Cq∨r
D~(~p∨q)
E~q∧p
正确答案
答案解析
略
相似试题
(多选题)
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
(填空题)
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
(多选题)
以“~(p∨q)←r”为一个前提,若加上另一个前提()。
(单选题)
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
(单选题)
若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。
(单选题)
已知p→(q∨r)为真,若要推出~p,必须加上前提()。
(填空题)
若“p”、“p∧q”和“~p∨~q”这三个命题形式中只有一个是真的,据此就可以断定变项p、q、r中必然为假的是()。
(单选题)
~(p→(q∨r))等值于()。
(单选题)
当(p→q)→r为假时,可知()。