Skip to main content
search

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