A formal argument in logic in which it is stated that
1. 
and 
(where 
means "implies"), and
2. Either not-
or not-
is true, from which two statements it follows that either not-
or not-
is true.
Destructive Dilemma
See also
Constructive Dilemma, DilemmaExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Destructive Dilemma." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/DestructiveDilemma.html