Linked from

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

• DisjunctionRelated: It formalizes the move from a true proposition to a disjunction containing it.

• Principle of explosionRelated: Adding any proposition to a contradiction by disjunction enables explosion.

• 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.