En la lógica, un dilema constructivo es una discusión lógica formal que toma la forma: &rarr del 1a) P del

l ; &rarr del Q. el del

l 2) P o R es verdad.

Por lo tanto, Q o S es verdad.

En el $P\; del\; de\; la\; notación\; deloperadorlógico\; \backslash \; el$ P$ R\; \backslash \; rightarrow\; S$rightarrow\; Q$\backslash \; el$ lor\; R$\backslash \; por\; lo\; tanto\; Q\; \backslash \; lor\; S$.

En suma, si dos conditionals son verdades y por lo menos uno de sus antecedentes está, después por lo menos uno de sus consiguientes debe estar también.

Un ejemplo:

l si Ronald Reagan gana la elección, él será presidente.
si Jimmy Carter gana la elección, él será presidente. El
o Ronald Reagan gana la elección o Jimmy Carter gana la elección. El
por lo tanto, o Ronald Reagan será presidente o Jimmy Carter será presidente.

El dilema deriva su nombre debido a la transferencia de operadores disyuntivos.