Qual regra de inferência permite concluir \(\neg P\) a partir de \(P \to A\) e \(\neg A\)?

Modus tollens

Explicação:
De \(P \to A\) e \(\neg A\) segue \(\neg P\), isso é a aplicação do modus tollens.
Além disso, essa inferência pode ser encadeada, por exemplo se \(C \to P\) e já se tem \(\neg P\), então segue \(\neg C\).

Exemplo:
Considere \(E \to L\) (se há energia então as lâmpadas acendem) e \(\neg L\) (as lâmpadas não acendem).
Por modus tollens, conclui-se \(\neg E\) (não há energia).
Se também \(G \to E\) (se o gerador está ligado então há energia), então de \(\neg E\) segue \(\neg G\) (o gerador não está ligado).