Qual é a negação lógica da proposição condicional "Se A, então B"?

\( \neg(A \to B) \equiv A \land \neg B \)

Explicação:
A negação de \(A \to B\) é verdadeira exatamente quando o antecedente A é verdadeiro e o consequente B é falso.

Exemplo:
Proposição: Se a máquina for ligada, então o motor funciona.
Negação: A máquina foi ligada e o motor não funcionou.
Em símbolos: \(A\) = "máquina ligada", \(B\) = "motor funciona", então \(\neg(A \to B)\) é equivalente a \(A \land \neg B\).