Linked from

The 4 pages that link to Disjunction elimination, each with the reason it gives.

• Disjunction introductionCompared with: Unlike introduction, it uses a disjunction as a premise rather than adding one.

• Conjunction eliminationCompared with: Unlike conjunction elimination, it requires reasoning through separate cases.