Which logical rule allows you to conclude QQQ from P ⟹ QP \implies QP⟹Q and ¬P∨Q\neg P \lor Q¬P∨Q?
Modus Ponens
Modus Tollens
Material Implication
Disjunctive Syllogism