Which logical rule allows the deduction of QQQ given P ⟹ QP \implies QP⟹Q and PPP?
Modus Tollens
Modus Ponens
Hypothetical Syllogism
Simplification