Constructive Dilemma

A formal argument in Logic in which it is stated that (1) $P\Rightarrow Q$ and $R\Rightarrow S$ (where $\Rightarrow$ means ``Implies''), and (2) either $P$ or $R$ is true, from which two statements it follows that either $Q$ or $S$ is true.

See also Destructive Dilemma, Dilemma