Дилемма (греческий δί-λημμα "двойное предложение") - это проблема как минимум с двумя решениями или возможностями. Ни одно из решений не является практически приемлемым; человек в таком положении традиционно описывается как зажатый на рогах дилеммы, ни один из рогов не является удобным.

Дилемма иногда используется в качестве риторического приёма, в форме "вы должны принять либо А, либо В"; здесь А и В были бы предложения, каждое из которых привело бы к какому-то дальнейшему выводу. Прикладные таким образом, это может быть обманом, ложной дихотомией.

В формальной логике определение дилеммы заметно отличается от повседневного использования. Два варианта все еще присутствуют, но выбор между ними несущественен, поскольку оба подразумевают один и тот же вывод. Символически выраженные таким образом:

A B , A C , B C C {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C} {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C}

Это можно неформально перевести как "один (или оба) из А или В известны как истинные, но оба подразумевают В, поэтому, независимо от истинных значений А и В, можно сделать вывод В".

Угоренные дилеммы могут представлять более двух вариантов. Количество вариантов решений Рогатых дилемм может быть использовано в их альтернативных названиях, таких как собственно двухрогатая (двухрогатая) или дилемма, или трехрогатая (трехрогатая) или трилемма, и так далее.

Конструктивные дилеммы...

1. (Если X, то Y) и (Если W, то Z).

2. X или W.

3. Таким образом, Y или Z.

Разрушительные дилеммы...