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."