El dilema constructivo es la versión disyuntiva del "modus ponendo ponens".