Konstruktives Dilemma

Formal hat das konstruktive Dilemma drei Prämissen und kann wie folgt dargestellt werden:

Prämisse 1:   A ⟶ B   –   (wenn A dann B)
Prämisse 2:   C ⟶ D   –   (wenn C, dann D)
Prämisse 3:   A ∨ C   –   (A oder C)
Konklusion:   B ∨ D   –   (B oder D)

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].
Daraus folgt: wir gehen morgen ins Museum oder ins Freibad [oder beides].