Qual é a negação correta de uma proposição condicional da forma "Se A, então B"?

A negação é "A e não B", ou seja \( \neg(A\to B)\equiv A \land \neg B\).

Para negar Se A, então B mantemos o antecedente verdadeiro e negamos o consequente; a negação afirma que A ocorre e B não ocorre.
Não se confunde com a inversa (Se não A, então não B), que é outra condicional.

Exemplo:
Proposição: Se o motor liga, o carro funciona.
Negação correta: O motor liga e o carro não funciona.