Um dilema (grego δί-λημμα "double proposition") é um problema com pelo menos duas soluções ou possibilidades. Nenhuma das soluções é praticamente aceitável; uma pessoa nesta posição tem sido tradicionalmente descrita como sendo empalada nos chifres de um dilema, nenhum dos chifres sendo confortável.

O dilema às vezes é usado como um dispositivo retórico, na forma "você deve aceitar ou A, ou B"; aqui A e B seriam proposições cada uma levando a alguma conclusão adicional. Aplicado desta forma, pode ser uma falácia, uma falsa dicotomia.

Na lógica formal, a definição de um dilema difere marcadamente do uso cotidiano. Duas opções ainda estão presentes, mas a escolha entre elas é irrelevante porque ambas implicam a mesma conclusão. Simbolicamente expressa assim:

A B , A C , B C C {\i1}displaystyle A\i}vee B,A{\i1}Retrovirtuado C,B{\i1}riscado C {\displaystyle A\vee B,A\Rightarrow C,B\Rightarrow C\vdash C}

Isto pode ser traduzido informalmente como "um (ou ambos) de A ou B é conhecido como verdadeiro, mas ambos implicam C, portanto, independentemente dos valores de verdade de A e B podemos concluir que C".

Os dilemas com chifres podem apresentar mais de duas opções. O número de escolhas de dilemas com chifres pode ser usado em seus nomes alternativos, tais como dois (dois chifres) ou dilema propriamente dito, ou três (três chifres) ou trilema, e assim por diante.

Dilemas construtivos...

1. (Se X, então Y) e (Se W, então Z).

2. X ou W.

3. Portanto, Y ou Z.

Dilemas destrutivos...