以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。
第1题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第2题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第3题:
以~p为一个前提进行演绎推理,如果()。
第4题:
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
第5题:
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
第6题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第7题:
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
第8题:
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
第9题:
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
第10题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。