Een dilemma (Grieks δί-λημμα "dubbele stelling") is een probleem met ten minste twee oplossingen of mogelijkheden. Geen van de oplossingen is praktisch aanvaardbaar; een persoon in deze positie is traditioneel beschreven als zijnde gespietst op de hoorns van een dilemma, geen van beide hoorns is comfortabel.
Het dilemma wordt soms gebruikt als een retorisch hulpmiddel, in de vorm "je moet ofwel A, ofwel B accepteren"; hier zouden A en B stellingen zijn die elk tot enige verdere conclusie leiden. Toegepast op deze manier, kan het een misvatting zijn, een valse dichotomie.
In de formele logica wijkt de definitie van een dilemma duidelijk af van het dagelijks gebruik. Twee opties zijn nog steeds aanwezig, maar de keuze tussen de twee is niet van belang omdat ze allebei dezelfde conclusie impliceren. Symbolisch uitgedrukt dus:
A ∨ B , A ⇒ C , B ⇒ C ⊢ C {\\\\\\\\an800 C,ARechtspijp C,BRechtspijp Cvdash C} 
Dit kan informeel worden vertaald als "een (of beide) van A of B staat bekend als waar, maar ze impliceren allebei C, dus ongeacht de waarheidswaarden van A en B kunnen we C concluderen".
Gehoornde dilemma's kunnen meer dan twee keuzemogelijkheden bieden. Het aantal keuzes van gehoornde dilemma's kan worden gebruikt in hun alternatieve namen, zoals tweevoudig (twee-hoornige) of eigenlijke dilemma's, of drievoudig (driehoornige) of trilemma's, enzovoorts.
Constructieve dilemma's...
1. (Als X, dan Y) en (Als W, dan Z).
2. X of W.
3. Daarom is Y of Z.
Destructieve dilemma's...