info prev up next book cdrom email home

Constructive Dilemma

A formal argument in Logic in which it is stated that (1) $P\Rightarrow Q$ and $R\Rightarrow S$ (where $\Rightarrow $ 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

© 1996-9 Eric W. Weisstein