O dilemă (din greacă δί-λημμα "dublă propunere") este o problemă cu cel puțin două soluții sau posibilități. Niciuna dintre soluții nu este acceptabilă din punct de vedere practic; o persoană aflată în această poziție a fost descrisă în mod tradițional ca fiind trasă în țeapă pe coarnele unei dileme, niciunul dintre coarne nefiind confortabil.
Dilema este uneori folosită ca un dispozitiv retoric, sub forma "trebuie să accepți fie A, fie B"; aici A și B ar fi propoziții care conduc fiecare la o concluzie ulterioară. Aplicată în acest mod, ea poate fi o eroare, o falsă dihotomie.
În logica formală, definiția unei dileme diferă în mod semnificativ de cea din limbajul cotidian. Două opțiuni sunt încă prezente, dar alegerea între ele este irelevantă, deoarece ambele implică aceeași concluzie. În mod simbolic se exprimă astfel:
A ∨ B , A ⇒ C , B ⇒ C ⊢ C {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C} 
Acest lucru poate fi tradus informal prin "se știe că unul (sau ambele) dintre A sau B este adevărat, dar ambele implică C, astfel încât, indiferent de valorile de adevăr ale lui A și B, putem concluziona C".
Dilemele cornute pot prezenta mai mult de două opțiuni. Numărul de opțiuni ale dilemelor cu coarne poate fi folosit în denumirile alternative ale acestora, cum ar fi dilema cu două coarne (two-horned) sau dilema propriu-zisă, sau dilema cu trei coarne (three-horned) sau trilema, și așa mai departe.
Dileme constructive...
1. (Dacă X, atunci Y) și (Dacă W, atunci Z).
2. X sau W.
3. Prin urmare, Y sau Z.
Dileme distructive...