Disjunctive syllogism

Layer 0 — Mathematicsin the logic subtree

If p ∨ q is true and p is false, then q must be true. The 'elimination of alternatives' rule.