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

\(p \land \neg q\)

Explicação: A negação de \(p \rightarrow q\) ocorre exatamente quando o antecedente p é verdadeiro e o consequente q é falso, por isso a forma é \(p \land \neg q\).

Exemplo:
Seja \(p\): "há energia", e \(q\): "o computador funciona".
A condicional é \(p \rightarrow q\).
Sua negação é \(p \land \neg q\), isto é, "há energia e o computador não funciona".