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

Resposta

\(p \land \neg q\)

Justificativa:
A única situação em que \(p \to q\) é falsa é quando \(p\) é verdadeiro e \(q\) é falso, portanto \(\neg(p \to q)\equiv p \land \neg q\).

Exemplo:
Sejam \(p\): "está chovendo" e \(q\): "a rua está molhada".
\(p \to q\): "Se está chovendo, então a rua está molhada".
\(\neg(p \to q)\): "Está chovendo e a rua não está molhada", ou seja \(p \land \neg q\).