Qual é a negação lógica de um condicional \(p \to q\)?

\( \neg(p \to q) \equiv p \land \neg q\)

Explicação:
Um condicional só é falso quando o antecedente é verdadeiro e o consequente é falso, portanto a negação afirma que o antecedente ocorre e o consequente não ocorre.

Exemplo:
Seja \(p\): “Está chovendo”, \(q\): “As ruas estão molhadas”.
A proposição composta é \(p \to q\): “Se está chovendo então as ruas estão molhadas.”
Sua negação é \(p \land \neg q\): “Está chovendo e as ruas não estão molhadas.”