In a constructive dilemma, the first premise asserts a pair of
conditional statements; the second premise says that at least one
of the two antecedents is true; and the conclusion states that at
least one of the two consequents is true.
A destructive dilemma argues that one of the two consequents is
false and, therefore, that one of the two antecedents is false.