Two more classic, common, and useful argument forms combine conditionals with disjunction. Using truth tables, test them for validity.
$$
\begin{array}{ll}
\text { Constructive Dilemma } & \text { Destructive Dilemma } \\
p \vee q & \sim p \vee \sim q \\
p \supset r & r \supset p \\
q \supset r & r \supset q \\
\hline \therefore r & \therefore \sim r
\end{array}
$$