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

以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。

  • A、﹁r∨﹁s
  • B、r∧s
  • C、﹁p∧﹁q
  • D、﹁p∨﹁q
  • E、r∨s

相关考题:

以~p为一个前提进行演绎推理,如果()。A、加上前提(p∨q),则能必然推出结论qB、加上前提(q∨~p),则能必然推出结论qC、加上前提(p→q),则能必然推出结论~qD、加上前提~q,则能必然推出结论(~q∧~p)E、加上前提(q→p),则能必然推出结论~q

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

以“(p→q)→r”和“~r”为前提,可必然推出结论()。A、~p∧qB、r→pC、q∨rD、~(~p∨q)E、~q∧p

以“~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)

以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。A、选言推理的肯定否定式B、联言推理的分解式C、选言推理的否定肯定式D、充分条件推理的肯定前件式E、充分条件推理的否定后件式

以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。A、一次运用选言推理的否定肯定式B、联言推理的分解式C、两次运用选言推理的否定肯定式D、充分条件推理的肯定前件式E、联言推理的组合式

以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”为假言前提进行二难推理,则推出的结论可以是()或()。

以﹁p为前提进行有效推理,如果希望得到﹁q为结论,可增加的另一个前提有()。A、p→﹁qB、q→pC、p∨﹁qD、p↔qE、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为一个前提进行演绎推理,如果()。A加上前提(p∨q),则能必然推出结论qB加上前提(q∨~p),则能必然推出结论qC加上前提(p→q),则能必然推出结论~qD加上前提~q,则能必然推出结论(~q∧~p)E加上前提(q→p),则能必然推出结论~q

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

多选题以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。A﹁r∨﹁sBr∧sC﹁p∧﹁qD﹁p∨﹁qEr∨s

单选题以“(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为结论,可增加的另一个前提有()。Ap→﹁qBq→pCp∨﹁qDp↔qEp→q

填空题以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是()或()。

多选题以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。A选言推理的肯定否定式B联言推理的分解式C选言推理的否定肯定式D充分条件推理的肯定前件式E充分条件推理的否定后件式

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

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

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

多选题以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。A一次运用选言推理的否定肯定式B联言推理的分解式C两次运用选言推理的否定肯定式D充分条件推理的肯定前件式E联言推理的组合式