(p
⊃
q)
modus tollens
(mt)
~q
~p