由前提 (p \lor q) \to (r \land s) 和 \neg(r …

由前提 $(p \lor q) \to (r \land s)$(p∨q)→(r∧s) 和 $\neg(r \land s)$¬(r∧s) 推出 $\neg(p \lor q)$¬(p∨q)，用到的推理定律是（　）