In der formalen Logik ist das Dilemma [von altgriechisch dis »zweifach« und lemma »Annahme«] eine bestimmte Schlussform, bei der aus zwei gegensätzlichen Grundannahmen (Prämissen) die gleiche Schlussfolgerung (Konklusion) gezogen wird. Die Mehrzahl von Dilemma ist Dilemmas oder Dilemmata.