Logicmedium
0:00.0

Identify the rule of inference: P    Q,¬Q¬P\frac{P \implies Q, \neg Q}{\therefore \neg P}.