ДИЛЕММА

форма умозаключения (логич. вывода), посылки (исходные допущения) которого имеют гипотетич. (условную) и дизъюнктивную (разделительную) структуру. Если прописными лат. буквами обозначать высказывания (суждения), а выражения «не», «или» и «если..., то ...» понимать соответственно как логич. отрицание, дизъюнкцию и импликацию (см. Логические операции), то т. н. конструктивная (утверждающая) Д. имеет вид: «если А, то В; если С, то Д; А или С; следовательно, В или Д» (сложная конструктивная Д.) или «если А, то В; если С, то В; следовательно, В» (простая конструктивная Д.). Сложная и простая деструктивные (отрицающие) Д. имеют соответственно вид: «если А, то В; если С то Д; не В или не Д; следовательно, не А или не С» и «если А, то В; если А, то С; не В или не С; следовательно, не А».

Все эти виды Д. доказуемы (или являются аксиомами) в совр. формальной (математич.) логике (см. Исчисление высказываний, Логика высказываний), а содержательные их формулировки используются как орудия дискуссий и споров (напр., распространённым инструментом логич. опровержения служит простая деструктивная Д.). В расширит. смысле под Д. понимают затруднит. ситуацию выбора между двумя равно неприятными возможностями.