Qual regra inferencial permite concluir \(\neg P\) a partir de \(P\rightarrow R\) e \(\neg R\)?

Modus tollens, portanto \(\neg P\).

De \(P\rightarrow R\) e \(\neg R\) segue \(\neg P\) por modus tollens.

Exemplo:
Premissas:
\(M\rightarrow F\) (se o motor está ligado, o carro funciona)
\(\neg F\) (o carro não funciona)

Conclusão:
Por modus tollens, de \(M\rightarrow F\) e \(\neg F\) inferimos \(\neg M\) (o motor não está ligado).