以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。A、pB、qC、﹁pD、﹁qE、p∨q
以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。
- A、p
- B、q
- C、﹁p
- D、﹁q
- E、p∨q
相关考题:
以~p为一个前提进行演绎推理,如果()。A、加上前提(p∨q),则能必然推出结论qB、加上前提(q∨~p),则能必然推出结论qC、加上前提(p→q),则能必然推出结论~qD、加上前提~q,则能必然推出结论(~q∧~p)E、加上前提(q→p),则能必然推出结论~q
以“~(p∨q)←r”为一个前提,若加上另一个前提()。A、“r”,则能必然推出“~p∧~q”B、“~p∧~q”,则能必然推出“~r”C、“~r”,则能必然推出“p∨q”D、“p∨q”,则能必然推出“~r”E、“r”,则能必然推出“~p”
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A、~(p∨q),能必然推出(~r∨~s)B、(~r∨~s),能必然推出(p∨q)C、(p∨q),能必然推出~(r∧s)D、~(r∧s),能必然推出(~p∨~q)
下列推理形式中,无效的有()。A、((p∨~q)∧q)→~pB、((p∧q)∧r)→(p∧r)C、((~p→q)∧q)→~pD、((p→q)∧(r∧p))→qE、(p→q)∧(r→s)∧(q∨s))→(p∨r)
下列推理形式中,有效式是()。A、如果非p,那么非q;q;所以pB、要么非p,要么q;非p;所以非qC、只有非p,才q;非p;所以qD、如果p,那么非q;非p;所以qE、p并且q并且r;所以p并且r
多选题下列推理形式中,无效的有()。A((p∨~q)∧q)→~pB((p∧q)∧r)→(p∧r)C((~p→q)∧q)→~pD((p→q)∧(r∧p))→qE(p→q)∧(r→s)∧(q∨s))→(p∨r)
多选题以“~(p∨q)←r”为一个前提,若加上另一个前提()。A“r”,则能必然推出“~p∧~q”B“~p∧~q”,则能必然推出“~r”C“~r”,则能必然推出“p∨q”D“p∨q”,则能必然推出“~r”E“r”,则能必然推出“~p”
单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A~(p∨q),能必然推出(~r∨~s)B(~r∨~s),能必然推出(p∨q)C(p∨q),能必然推出~(r∧s)D~(r∧s),能必然推出(~p∨~q)
多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q