Which rule of inference is shown by P∨Q,¬P∴Q\frac{P \lor Q, \neg P}{\therefore Q}∴QP∨Q,¬P?
Modus Ponens
Disjunctive Syllogism
Addition
Simplification