Диле́мма[1][2] (др.-греч. δί-λημμα «двойная лемма») — полемический довод с двумя исключающими друг друга положениями и не допускающими возможность третьего.
В повседневной речи употребляется тогда, когда оба варианта нежелательны, и выбор происходит по принципу «меньшего зла».
Дилемма используется иногда в риторике и имеет вид «нужно принять либо A, либо Б», где A и Б предпосылки, ведущие к некоторому заключению. При этом, если А и Б могут быть одновременно ложными, то такое рассуждение является заблуждением (софизм, ложная дихотомия).
Условно-разделительные умозаключения вообще называются леммами; если разделительная посылка содержит только два члена, то такое умозаключение называется дилеммой.
В формальной логике определение дилеммы заметно отличается от того, которое применяется в каждодневном использовании. Несмотря на то, что в ней по-прежнему используют два варианта, но выбор между ними не играет роли[источник не указан 2242 дня], так как каждый из них ведёт к тому же выводу. Формально это описывается следующим образом:
Что можно интерпретировать как «A или B (или оба) должны быть верны, но они оба ведут к C, поэтому независимо от их значения мы можем вывести C».