Qual regra lógica permite inferir \(\neg A\) a partir de \(A \rightarrow B\) e \(\neg B\)?

Modus tollens

Explicação:
De \(A \rightarrow B\) e \(\neg B\) segue-se \(\neg A\).
Isso ocorre porque uma condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso; se \(B\) é falso e a condicional vale, então \(A\) não pode ser verdadeiro.

Exemplo:
Seja \(C\): "Está chovendo" e \(D\): "A rua está molhada".
Temos \(C \rightarrow D\) e \(\neg D\). Pelo modus tollens, conclui-se \(\neg C\) — ou seja, não está chovendo.