Το δίλημμα (ελληνικά δί-λημμα "διπλή πρόταση") είναι ένα πρόβλημα με τουλάχιστον δύο λύσεις ή δυνατότητες. Καμία από τις λύσεις δεν είναι πρακτικά αποδεκτή- ένα άτομο που βρίσκεται σε αυτή τη θέση περιγράφεται παραδοσιακά ως παλουκωμένο στα κέρατα ενός διλήμματος, χωρίς κανένα από τα δύο κέρατα να είναι άνετο.

Το δίλημμα χρησιμοποιείται μερικές φορές ως ρητορικό μέσο, με τη μορφή "πρέπει να δεχτείς είτε το Α είτε το Β"- εδώ το Α και το Β είναι προτάσεις που οδηγούν σε κάποιο περαιτέρω συμπέρασμα. Εφαρμοσμένο με αυτόν τον τρόπο, μπορεί να είναι μια πλάνη, μια ψευδής διχοτομία.

Στην τυπική λογική, ο ορισμός του διλήμματος διαφέρει σημαντικά από την καθημερινή χρήση. Εξακολουθούν να υπάρχουν δύο επιλογές, αλλά η επιλογή μεταξύ τους είναι αδιάφορη επειδή και οι δύο συνεπάγονται το ίδιο συμπέρασμα. Συμβολικά εκφράζεται έτσι:

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}

Αυτό μπορεί να μεταφραστεί ανεπίσημα ως "ένα (ή και τα δύο) από τα Α ή Β είναι γνωστό ότι είναι αληθές, αλλά και τα δύο συνεπάγονται το Γ, οπότε ανεξάρτητα από τις τιμές αλήθειας των Α και Β μπορούμε να συμπεράνουμε το Γ".

Τα διλήμματα με κέρατα μπορεί να παρουσιάζουν περισσότερες από δύο επιλογές. Ο αριθμός των επιλογών των διλημμάτων Horned μπορεί να χρησιμοποιηθεί στις εναλλακτικές ονομασίες τους, όπως δίκοπο (two-horned) ή dilemma proper, ή τρίκοπο (three-horned) ή trilemma, κ.ο.κ.

Εποικοδομητικά διλήμματα...

1. (Αν X, τότε Y) και (Αν W, τότε Z).

2. X ή W.

3. Επομένως, Y ή Z.

Καταστροφικά διλήμματα...