Dilemme constructif

Un dilemme constructif^[1],[2],[3] est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit P ou R est vrai, alors Q ou S est vrai. En somme, si deux implications sont vraies et au moins un de leurs antécédents l'est, alors au moins un de leurs conséquents doivent l'être aussi. Le dilemme constructif est la version disjonctive du modus ponens, alors que, le dilemme destructif est la version disjonctive du modus tollens. La règle peut être déclarée comme suit:

${\displaystyle {\frac {P\to Q,R\to S,P\lor R}{\therefore Q\lor S}}}$

où la règle est que chaque fois que les instances de « ${\displaystyle P\to Q}$ », « ${\displaystyle R\to S}$ », et « ${\displaystyle P\lor R}$ » apparaissent sur les lignes d'une démonstration, « ${\displaystyle Q\lor S}$ » peut être placé sur une ligne subséquente.