Which rule of inference allows us to conclude P∨QP \lor QP∨Q from the premise PPP?
Addition
Simplification
Conjunction
Resolution