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

Negação: \(A \land \neg B\)

Explicação:
A negação de uma implicação é verdadeira quando o antecedente é verdadeiro e o consequente é falso, por isso a forma é \(A \land \neg B\).

Exemplo:
Considere a condicional "Se chover (C), então a rua ficará molhada (M)".
Original: \(C \to M\).
Negação: \(C \land \neg M\), que em linguagem natural é: "Está chovendo e a rua não está molhada."