Disjunctive Syllogism

$P\vee Q,\neg P\therefore Q$

If the disjunction ”$P$ or $Q$” is true, and $P$ is false ($\neg P$), then $Q$ must be true.