Dilema (bahasa Yunani δί-λημμα "proposisi ganda") adalah masalah dengan setidaknya dua solusi atau kemungkinan. Tidak ada solusi yang dapat diterima secara praktis; seseorang yang berada dalam posisi ini secara tradisional digambarkan seperti tertusuk tanduk dilema, tidak ada tanduk yang nyaman.
Dilema kadang-kadang digunakan sebagai perangkat retorika, dalam bentuk "Anda harus menerima A, atau B"; di sini A dan B akan menjadi proposisi yang masing-masing mengarah ke beberapa kesimpulan lebih lanjut. Diterapkan dengan cara ini, ini mungkin merupakan kekeliruan, dikotomi palsu.
Dalam logika formal, definisi dilema sangat berbeda dari penggunaan sehari-hari. Dua pilihan masih ada, tetapi memilih di antara keduanya tidak penting karena keduanya menyiratkan kesimpulan yang sama. Secara simbolis dinyatakan demikian:
A ∨ B , A ⇒ C , B ⇒ C ⊢ C {\displaystyle A\vee B,A\Garisbawah Kanan C,B\Garisbawah Kanan C\vdash C} 
Hal ini dapat diterjemahkan secara informal sebagai "salah satu (atau keduanya) dari A atau B diketahui benar, tetapi keduanya mengimplikasikan C, jadi terlepas dari nilai kebenaran A dan B kita dapat menyimpulkan C."
Dilema bertanduk dapat menyajikan lebih dari dua pilihan. Jumlah pilihan dilema bertanduk dapat digunakan dalam nama alternatifnya, seperti dua-cabang (dua-tanduk) atau dilema proper, atau tiga-cabang (tiga-tanduk) atau trilema, dan sebagainya.
Dilema konstruktif -
1. (Jika X, maka Y) dan (Jika W, maka Z).
2. X atau W.
3. Oleh karena itu, Y atau Z.
Dilema yang merusak -