Dilemma
Wikipedia
Konstruktivt dilemma är en form av härledningsregel i den traditionella 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".
Ett klassiskt (skämtsamt) exempel är "Det du inte har förlorat, det har du. Några horn har du inte förlorat, alltså har du horn."
Ordet dilemma kommer av grekiskans dilemma, eg. "tvåledad försats".
