dilemma

{{logic}} A type of syllogism of the form "if A is true then B is true; if C is true then D is true; either A or C is true; therefore either B or D is true".