Qual é a negação logicamente equivalente do condicional \(p \to q\)?

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

Explicação:
A negação de \(p \to q\) é verdadeira quando \(p\) é verdadeiro e \(q\) é falso, por isso é equivalente a \(p \wedge \neg q\).

Exemplo:
Seja \(p\): "O alarme toca", \(q\): "Acordo".
Condicional: \(p \to q\).
Sua negação: \(p \wedge \neg q\), que se lê "O alarme toca e eu não acordo".