Qual conclusão lógica segue de p → q e ¬q?

Segue-se ¬p.

Modus tollens: de p → q e ¬q segue-se ¬p. Equivalentemente, pela contrapositiva, p → q é equivalente a ¬q → ¬p.