Dilemma

Från Wikipedia
Hoppa till: navigering, sök
Deduction symbols2.gif
Satslogiska härledningsregler
för termen i betydelsen, "en besvärlig situation med två valmöjligheter som båda leder till ett oönskat resultat", se dilemma på Wiktionary

Dilemma är inom logiken en form av härledningsregel i den klassiska logiken med följande form:

\begin{array}{cc}
A \or B & \mathrm{premiss} \\
A \rightarrow C & \mathrm{premiss} \\
B \rightarrow C & \mathrm{premiss} \\
\hline
C & \mathrm{slutsats}
\end{array}

Uttryckt med ord: "A eller B, om A så C och om B så C, alltså C".

Ett positivt eller konstruktivt dilemma har formen:

Om A så B
Om C så B
Antingen A eller C
Därför B

Ett negativt eller destruktivt dilemma har formen:

Om A så B
Om A så C
Antingen icke-B eller icke-C
Därför icke-A

Dilemma betyder "dubbelsats" eller "tvådelad sats" och syftar på den första premissen i form av en disjunktion. I traditionell retorik användes denna form av slutledning ofta för att komma fram till en slutsats som var ogynnsam för opponenten.