Destruktives Dilemma

Formal hat das destruktive 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:   ⌐B ∨ ⌐D   –   (nicht B oder nicht D)
Konklusion:   ⌐A ∨ ⌐C   –   (nicht A oder nicht C)

Das folgende ist ein Beispiel für ein destruktives Dilemma:

Wenn morgen die Sonne scheint, [dann] gehen wir an den Strand.
Wenn es morgen regnet, [dann] gehen wir ins Museum.
Morgen werden wir entweder nicht ins Museum gehen oder nicht an den Strand gehen [oder beides].
Also wird es entweder nicht regnen oder es wird nicht die Sonne scheinen [oder beides].