A若加上小前提~p,则能推出~q
B若加上小前提~p,则能推出q
C若加上小前提q,则能推出~p
D若加上小前提q,则能推出p
E若加上小前提~q,则能推出p
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
多选题查看答案
以“~(p∨q)←r”为一个前提,若加上另一个前提()。
多选题查看答案
以~(p∧q)和q为前提进行推理,能必然得出结论()。
单选题查看答案
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
多选题查看答案
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
多选题查看答案
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
单选题查看答案
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
填空题查看答案
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
多选题查看答案
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
填空题查看答案