Destructive Dilemma

A formal argument in logic in which it is stated that

1. P=>Q and R=>S (where => means "implies"), and

2. Either not-Q or not-S is true, from which two statements it follows that either not-P or not-R is true.

See also

Constructive Dilemma, Dilemma

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Destructive Dilemma." From MathWorld--A Wolfram Web Resource.

Subject classifications