A proof strategy whereby a conclusion is proved from a disjunction. (See also Disjunction elimination.)