Which rule of inference is: P∨Q,¬P∨R∴Q∨R\frac{P \lor Q, \neg P \lor R}{\therefore Q \lor R}∴Q∨RP∨Q,¬P∨R?
Modus Ponens
Resolution
Disjunctive Syllogism
Addition