网友您好, 请在下方输入框内输入要搜索的题目:

题目内容 (请给出正确答案)

若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。

  • A、~p
  • B、~q
  • C、~p∧~q
  • D、~p∨~q

参考答案

更多 “若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。A、~pB、~qC、~p∧~qD、~p∨~q” 相关考题
考题 "如果p,那么q;如果r,那么q;p或者r;q"这个是二难推理中的简单构成式。()

考题 以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。A、sB、﹁qC、﹁q∧sD、﹁r∧sE、(﹁q∨﹁r)∧s

考题 以(p→(q∧~r))和(~q∨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”和“~r”为前提,可必然推出结论()。A、~p∧qB、r→pC、q∨rD、~(~p∨q)E、~q∧p

考题 以~(p∧q)和q为前提进行推理,能必然得出结论()。A、(p∧q)B、(p∧~q)C、(~p∧q)D、(~p∧~q)

考题 以"只有P才q或r"和"非P"为前提,可必然推出的结论是()。A、非q或rB、非q或非rC、非q且非rD、非q且r

考题 以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。A、~rB、~qC、~pD、r→pE、p∧q

考题 以“(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,才q且r”和“非P”为前提,可必然推出结论()。A、非q且非rB、非q或非rC、非q或rD、非q且r

考题 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A、二难推理的简单构成式B、二难推理的复杂构成式C、选言推理的肯定否定式D、选言推理的否定肯定式E、联言推理的组合式

考题 以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。

考题 以“~p”和“p←(q←r)”为前提,可必然推出结论()。A、p←rB、~p∨rC、q→pD、rE、~(q←r)

考题 以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。A、pB、~sC、~r∧pD、~rE、s→q

考题 以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。A、﹁r∨﹁sB、r∧sC、﹁p∧﹁qD、﹁p∨﹁qE、r∨s

考题 单选题若以“p→(q→r)”和“~r”为前提构成的推理,能必然得出结论()。A ~pB ~qC ~p∧~qD ~p∨~q

考题 填空题以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。

考题 多选题以“(p→q)→r”和“~r”为前提,可必然推出结论()。A~p∧qBr→pCq∨rD~(~p∨q)E~q∧p

考题 填空题以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。

考题 多选题以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A二难推理的简单构成式B二难推理的复杂构成式C选言推理的肯定否定式D选言推理的否定肯定式E联言推理的组合式

考题 多选题以“~(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∧q)和q为前提进行推理,能必然得出结论()。A (p∧q)B (p∧~q)C (~p∧q)D (~p∧~q)

考题 多选题以“~p”和“p←(q←r)”为前提,可必然推出结论()。Ap←rB~p∨rCq→pDrE~(q←r)

考题 多选题以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。AsB﹁qC﹁q∧sD﹁r∧sE(﹁q∨﹁r)∧s

考题 多选题以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。A~rB~qC~pDr→pEp∧q

考题 多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q