Que regra lógica permite inferir ¬P a partir de 'P → ¬Q' e 'Q'?

Modus tollens (equivalente à contraposição).

Dada a implicação \(P\to\neg Q\), sua contraposição é \(Q\to\neg P\). Se também se tem \(Q\), então conclui-se \(\neg P\).

Exemplo:
Premissa 1: Se alguém é estagiário, então não recebe gratificação — \(E\to\neg G\).
Premissa 2: Recebe gratificação — \(G\).
Conclusão: Não é estagiário — \(\neg E\).