Dilemma - Use in Logic

Use in Logic

In formal logic, the definition of a dilemma differs markedly from everyday usage. Two options are still present, but choosing between them is immaterial because they both imply the same conclusion. Symbolically expressed thus:

Which can be translated informally as "one (or both) of A or B is known to be true, but they both imply C, so regardless of the truth values of A and B we can conclude C."

There are also constructive dilemmas and destructive dilemmas.