Destructive Dilemma/Formulation 1/Proof 1

Theorem

 * $p \implies q, r \implies s \vdash \neg q \lor \neg s \implies \neg p \lor \neg r$