Dilemma

Från Rilpedia

Texten från svenska Wikipedia

Satslogiska härledningsregler
Modus ponens Modus tollens Och-eliminering Och-introducering Eller-eliminering Eller-introducering Dilemma

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

     A ∨ B    ; premiss 
     A → C    ; premiss
     B → C    ; premiss
     ------
     C         ; slutsats

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

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. Därför har ordet i vanligt språkbruk fått ungefär betydelsen "en valsituation där båda alternativen är dåliga".