A classically valid method inference asserting that if two conditionals are true, that one of the consequents is false then one of the antecedents must also be false. More formally, this is captured by the inference:

where $\neg$, $\to$, and $\vee$ correspond to negation, the conditional, and disjunction, respectively. Destructive dilemma is dual to the similar inference constructive dilemma.