Constructive Dilemma

Constructive dilemma is a logical rule of inference that says if P implies Q, R implies S, and P or R is true, then Q or S is true as well. Essentially, the constructive dilemma passes the disjunction through two conditional statements. For example, if the statements