Which logical rule allows us to conclude QQQ from P ⟹ QP \implies QP⟹Q and PPP?
Modus Tollens
Modus Ponens
Hypothetical Syllogism
Addition