p
~s
~r∧p
~r
s→q
第1题:
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
第2题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第3题:
以~p为一个前提进行演绎推理,如果()。
第4题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第5题:
以"只有P才q或r"和"非P"为前提,可必然推出的结论是()。
第6题:
以“~(p∨q)←r”为一个前提,若加上另一个前提()。
第7题:
若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。
第8题:
以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。
第9题:
以"如果P且q,那么 "和"r" 为前提,可必然推出的结论是()。
第10题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。