Ap←r
B~p∨r
Cq→p
Dr
E~(q←r)
以“(p→q)→r”和“~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为假时,可知()。
单选题查看答案