Constructive Dilemma

Formulation 3
Its abbreviation in a tableau proof is $\textrm{CD}$.