Qual é a negação lógica de uma implicação P → Q?

¬(P → Q) ≡ P ∧ ¬Q.

Explicação:
Negar um condicional equivale a afirmar o antecedente e negar o consequente.
Formalmente: \( \lnot(P\to Q)\equiv P\land\lnot Q.\)

exemplo:
Se \(P\) = estudo e \(Q\) = sou aprovado, a negação é: estudo e não sou aprovado, isto é, \(P\land\lnot Q\).