Definición del Dilema Constructivo

De esta forma, la disciplina de la Lógica considera al Dilema Constructivo como una versión disyuntiva del modelo lógico ponens, consistente una inferencia, que se rige por la siguiente proposición: si P implica Q; y a su vez R implica S, se infiere que o Q es falsa o S lo es, por lo tanto P o R deben ser falsas. Para verlo mucho más claro, es preciso hacer su representación escrita:

Premisa 1: (P → Q) ^ (R → S) (Si P implica Q, y a su vez R implica S)

Premisa 2: (Q ˅ S) (Se puede inferir entonces que Q o S son falsas)

Conclusión: (P ˅ Q) (Lo que llevaría a concluir que a su vez P o Q también son falsas)

En este sentido, el Dilema Constructivo sería básicamente una inferencia que se hace a partir de dos fórmulas condicionales, donde se niegan cada uno de sus consecuentes, obteniendo como resultado la disyunción de estas.

Ejemplos de Dilema Constructivo

Resulta entonces pertinente ejemplificar con palabras al menos tres casos de inferencias hechas en base al Dilema Constructivo, a fin de poder precisar mucho mejor los postulados establecidos a través de la notación anterior. A continuación algunos ejemplos:

Ejemplo 1:

Premisa 1: Si me gano la lotería compraré una casa. Por su parte, si mi papá gana un millón de dólares comprará un yate.

Premisa 2: Visto así o ganaré la lotería o mi papá ganará un millón de dólares

Conclusión: como conclusión o compraré una casa o mi papá comprará un yate.

Ejemplo 2:

Premisa 1: Si voy a una obra de Teatro daré rosas a la actriz. Si mi esposo va al ballet aplaudirá a la bailarina prima

Premisa 2: O voy al Teatro, o mi esposo va al ballet

Conclusión: como conclusión entonces o una actriz recibirá rosas o una bailarina será aplaudida fuertemente

Ejemplo 3:

Premisa 1: Si Juan viaja a Alaska morirá de frío. Si se va al Sahara perecerá de calor.

Premisa 2: Juan viajará a Alaska o al Sahara

Conclusión: por lo tanto morirá de frío o perecerá de calor.

Fuente de imagen: elpensante.com