Which logic rule allows concluding QQQ from the premises P ⟹ QP \implies QP⟹Q and PPP?
Modus Tollens
Modus Ponens
Disjunctive Syllogism
Addition