Dylemat (grecki δί-λημμα "podwójna propozycja") to problem z co najmniej dwoma rozwiązaniami lub możliwościami. Żadne z tych rozwiązań nie jest praktycznie możliwe do zaakceptowania; osoba na tym stanowisku jest tradycyjnie opisywana jako wbijana w rogi dylematu, a żaden z nich nie jest wygodny.

Dylemat ten jest czasem używany jako narzędzie retoryczne, w formie "musisz zaakceptować albo A, albo B"; tutaj A i B byłyby propozycjami prowadzącymi do jakiegoś dalszego wniosku. Zastosowana w ten sposób, może być błędem, fałszywą dychotomią.

W logice formalnej, definicja dylematu różni się znacznie od codziennego użytku. Dwie opcje są nadal obecne, ale wybór pomiędzy nimi jest nieistotny, ponieważ obie implikują ten sam wniosek. Symbolicznie wyrażone w ten sposób:

A B , A C , B C C {\i1}Styl A {\i1}przed B, A {\i1}Krwawnik C, B {\i1}Kwawnik C{\i0} {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C}

Można to nieformalnie przetłumaczyć jako "jeden (lub oba) z A lub B jest znany jako prawdziwy, ale oba implikują C, więc niezależnie od wartości prawdy A i B możemy wnioskować C".

Rogate dylematy mogą przedstawiać więcej niż dwie możliwości wyboru. Liczba wyborów dylematów rogatych może być użyta w ich alternatywnych nazwach, takich jak dylemat dwugłosowy (dwugłosowy) lub dylemat właściwy, lub trzygłosowy (trzygłosowy) lub trilemat, i tak dalej.

Konstruktywne dylematy...

1. (Jeśli X, to Y) i (Jeśli W, to Z).

2. X lub W.

3. Zatem Y lub Z.

Destrukcyjne dylematy...