Como se representa a negação de uma condicional P → Q em lógica proposicional?

\( \neg(P\rightarrow Q)\equiv P\land\neg Q \)

Uma condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso, portanto a negação exige que P seja verdadeiro e Q seja falso.

Exemplo:
\(P\): está chovendo, \(Q\): o chão está molhado.
A negação é: está chovendo e o chão não está molhado, que corresponde a \(P\land\neg Q\).