网友您好, 请在下方输入框内输入要搜索的题目:
题目内容
(请给出正确答案)
以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。
- A、p
- B、q
- C、﹁p
- D、﹁q
- E、p∨q
参考答案
更多 “以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。A、pB、qC、﹁pD、﹁qE、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
考题
多选题以(~p→q)为大前提()。A若加上小前提~p,则能推出~qB若加上小前提~p,则能推出qC若加上小前提q,则能推出~pD若加上小前提q,则能推出pE若加上小前提~q,则能推出p
考题
多选题下列推理形式中,无效的有()。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
热门标签
最新试卷