Dilema Constructivo, ley del

Dilema Constructivo, ley del (DC).  Regla lógica de inferencia que postula: si tenemos dos fórmulas [v. fórmulas bien formadas] u oraciones condicionales, y en otra premisa los antecedentes afirmados de ambos condicionales en un disyunción, podemos afirmar a ambos consecuentes [v] en una disyunción también.

1) p --> q            1) (p --> q) & (s --> r)

2) s --> r            2) p v s

3) p  v  s            \\ q v r

\\ q  v  r

El dilema constructivo es una derivación del Modos Ponendo Ponens.