Constructive Dilemma

Context
Natural deduction.

Definition
$$p \Longrightarrow q, r \Longrightarrow s \vdash p \lor r \Longrightarrow q \lor s$$

Its abbreviation in a tableau proof is $$\textrm{CD}$$.

Proof
These are proved by the tableau method: