以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
A:~(p∨q),能必然推出(~r∨~s)
B:(~r∨~s),能必然推出(p∨q)
C:(p∨q),能必然推出~(r∧s)
D:~(r∧s),能必然推出(~p∨~q)
出自:法学