====== Konstruktives Dilemma ======

Eine gültige [[logik:schlussformen:hauptseite|Schlussform]] der Aussagenlogik, die aus zwei [[begriffe:konditional|Konditionalen]] und einer [[begriffe:disjunktion|Disjunktion]] eine neue disjunktive Aussage ableitet. 

<div print-wide>
Formal hat das //konstruktive Dilemma// drei Prämissen und kann wie folgt dargestellt werden:

> Prämisse 1:   <span "wenn A dann B">''A ⟶ B''</span>   –   (//wenn// A //dann// B)
> Prämisse 2:   <span "wenn C dann D">''C ⟶ D''</span>   –   (//wenn// C, //dann// D)
> Prämisse 3:   <span "A oder C">''A ∨ C''</span>   –   (A //oder// C //oder beides//)
> <span conclusio>Konklusion:   <span "B oder D">''B ∨ D''</span></span>   –   (B //oder// D //oder beides//)

Das folgende ist ein Beispiel für ein //konstruktives Dilemma//: 

> //Wenn// morgen die Sonne scheint, [//dann//] gehen wir ins Freibad.
> //Wenn// es morgen regnet, [//dann//] gehen wir ins Museum.
> Morgen wird es regnen //oder// die Sonne scheinen [//oder beides//].
> <span conclusio>Daraus folgt: wir gehen morgen ins Museum <em>oder</em> ins Freibad [<em>oder beides</em>].</span>

</div>
===== Beschreibung =====

Das //konstruktive Dilemma// kann man als eine Kombination von zwei [[logik:schlussformen:modus_ponens|Modus Ponens]] verstehen, bei denen die Prämissen über eine [[begriffe:disjunktion|Disjunktion]] verbunden sind. 

Der Begriff "Dilemma" kann in diesem Zusammenhang als "Entscheidung" zwischen zwei Situationen verstanden werden.

===== Siehe auch =====

  * [[logik:schlussformen:destruktives_dilemma|Destruktives Dilemma]]
  * [[logik:schlussformen:modus_ponens|Modus Ponens]]

===== Weitere Informationen =====

  * [[wp>Constructive dilemma]] auf //Wikipedia// (Englisch)

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}