Es una inferencia que dice que si P implica Q; y R implica S; y, o bien P o R es verdadero; entonces Q o S debe ser verdadero.
El dilema constructivo es la versión disyuntiva del modus ponens, mientras que el dilema destructivo es la versión disyuntiva del modus tollens.
El dilema constructivo puede escribirse formalmente como: donde la regla es que cuando aparezcan las instancias "
" en una línea de alguna demostración, se puede colocar "
Un ejemplo de dilema constructivo en lenguaje natural es: El dilema constructivo se llama así por la transferencia de operandos disyuntivos que ocurre.
La regla de dilema constructivo puede escribirse en la notación subsiguiente: donde
en algún sistema lógico; y expresado como una tautología verdad-funcional o teorema de la lógica proposicional: donde
son proposiciones expresadas en algún sistema formal.