Identify the logical rule used to derive QQQ from the premises P∨QP \lor QP∨Q and ¬P\neg P¬P.
Modus Ponens
Disjunctive Syllogism
Addition
Simplification