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