Constructive Dilemma/Formulation 1/Proof 1

Theorem

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

Proof

 * align="right" | 11 ||
 * align="right" | 1, 2
 * $p \lor r \implies q \lor s$
 * $\implies \mathcal I$
 * 3, 10
 * 3, 10