Constructive Dilemma

A formal argument in logic in which it is stated that (1) P=>Q and R=>S (where => means "implies"), and (2) either P or R is true, from which two statements it follows that either Q or S is true.

See also

Destructive Dilemma, Dilemma

Explore with Wolfram|Alpha

Cite this as:

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

Subject classifications