Qual é a forma lógica equivalente à negação de uma condicional P → Q?

Negação equivalente: \( \neg(P\to Q)\equiv P\land\neg Q\).

Explicação:
Uma condicional \(P\to Q\) é falsa somente quando \(P\) é verdadeira e \(Q\) é falsa.
Portanto, negar a condicional afirma exatamente esse caso: \(P\) e não \(Q\).

exemplo:
Sentença: "Se a lâmpada está ligada, então a sala está iluminada."
Negação: "A lâmpada está ligada e a sala não está iluminada."
(Equivalência: \( \neg(P\to Q)\equiv P\land\neg Q\); caso que torna \(P\to Q\) falso: \(P=\)V, \(Q=\)F.)