Como se nega uma proposição condicional do tipo A → B?

\(A \land \neg B\).

A negação mantém o antecedente e nega o consequente, portanto a negação de \(A \to B\) é \(A \land \neg B\).

Exemplo:
Considere A: "há sinal de internet", B: "o arquivo é baixado".
A proposição \(A \to B\) significa "se há sinal, então o arquivo é baixado".
A sua negação \(A \land \neg B\) significa "há sinal de internet e o arquivo não é baixado".