以“(p∨q)→(r∧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)