Constructive Dilemma (CD) Constructive dilemma is a propositional logic rule of inference. It is a rule of implication, which means that its premises imply its conclusion but that the conclusion is not necessarily logically equivalent to either of its premises. Constructive dilemma, just like all rules of implication, can be applied only to whole lines in a proof and not to parts of larger statements.