Linked from

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

• Disjunction eliminationCompared with: It introduces a disjunction; this rule reasons outward from one already given.

• Conjunction introductionCompared with: Unlike conjunction introduction, it needs only one established proposition.