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