Identify the rule of inference: P ⟹ Q,¬Q∴¬P\frac{P \implies Q, \neg Q}{\therefore \neg P}∴¬PP⟹Q,¬Q.
Modus Ponens
Modus Tollens
Hypothetical Syllogism
Addition