O que se conclui a partir de p → q e ¬q?

Conclui-se ¬p.

Como p → q é verdadeira e ¬q é verdadeira, a condicional só se mantém se p for falsa, portanto ¬p, esta inferência é o modus tollens.

Exemplo:
Seja p = Está chovendo, q = a rua está molhada.
Premissas: p → q e ¬q (a rua não está molhada).
Conclusão: ¬p (não está chovendo).