In propositional logic, dilemma is an inference rule that says:
(X -> A) & (Y -> B) X v Y therefore, A v B
This is sometimes also called a "constructive dilemma."