Dado "se P então Q" e "não Q", qual regra válida permite inferir "não P"?

Modus tollens.

Explicação:
Partindo de P → Q e ¬Q, conclui-se logicamente ¬P, pois se P implicaria Q, e Q é falso, então P não pode ser verdadeiro.

Exemplo:
Considere:
Se a bateria estiver carregada então o celular liga.
Observa-se: o celular não ligou.
Logo, a bateria não está carregada, aplicando modus tollens, pois da condicional e da negação do consequente segue a negação do antecedente.