En logique, un dilemme (du grec δί-λημμα ou dilemma « double proposition ») est un raisonnement qui, partant de la disjonction de deux propositions (p ou q) établit que chacune des deux mène à une même conclusion, laquelle par conséquent s'impose (sans qu'il soit nécessaire de savoir si c'est p ou q ou les deux qui sont vraies ; par contre la conclusion reste indéterminée si l'on établit que p et q sont toutes les deux fausses). Un exemple courant est ce qu'on peut appeler le "dilemme des conseils de classe" : ou cet élève n'a pas travaillé ou il n'a pas les moyens, en tout état de cause il ne peut passer dans la classe supérieure… On voit immédiatement sur cet exemple combien le sens de "dilemme" pour le logicien est éloigné du sens courant qui l'associe à un choix difficile sinon tragique.