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