Dilemme constructif

Dans la logique , un dilemme constructif est un argument logique formel qui prend la forme : &rarr du 1a) P de

; &rarr du Q. le de

2) P ou R est vrai.

Par conséquent, Q ou S est vrai.

Dans le P de de notation de l'opérateur logique \ le P de
du R \ rightarrow S
du rightarrow Q \ le
du lor R \ donc le Q \ lor S .

Dans la somme, si deux conditionals sont vrais et au moins un de leurs antécédents est, puis au moins un de leurs conséquents doit être aussi.

Un exemple :

si Ronald Reagan remporte l'élection, il sera président.
si Jimmy Carter remporte l'élection, il sera président. Le
ou Ronald Reagan remporte l'élection ou Jimmy Carter remporte l'élection. Le
par conséquent, ou Ronald Reagan sera président ou Jimmy Carter sera président.

Le dilemme dérive son nom en raison du transfert des opérateurs disjonctifs.

ogic-moignon

.

Random links:Sombrillo, Mexique | Pantagruel | Studios énigmatiques | Everard F. im Thurn | Krishnajanmabhoomi | Dilema_constructivo