Constructive dilemma is a name of a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas, destructive dilemma is the disjunctive version of modus tollens. The rule can be stated:
Contents
where the rule is that whenever instances of "
Formal notation
The constructive dilemma rule may be written in sequent notation:
where
and expressed as a truth-functional tautology or theorem of propositional logic:
where
Variable English
If P then Q. If R then S. P or R. Therefore, Q or S.
Natural language example
If I win a million dollars, I will donate it to an orphanage.If my friend wins a million dollars, he will donate it to a wildlife fund.I win a million dollars or my friend wins a million dollars.Therefore, either an orphanage will get a million dollars, or a wildlife fund will get a million dollars.The dilemma derives its name because of the transfer of disjunctive operator.