A classically valid method inference according to which when two conditionals are true and one of the antecedents is true, then one of the consequents are true. This may be formalized by the following inference:

where $\neg$, $\to$, and $\vee$ correspond to negation, the conditional, and disjunction, respectively. The dual mode of inference to constructive dilemma is the destructive dilemma.