Qual é a negação lógica de uma condicional p → q?

\( \neg(p \rightarrow q) \equiv p \land \neg q \)

Explicação:
A negação de um condicional mantém o antecedente e nega o consequente, formando uma conjunção.

Exemplo:
Considere \(p\): "o motor está ligado" e \(q\): "o carro se move".
Original: \(p \rightarrow q\).
Nega-se: \( \neg(p \rightarrow q) \equiv p \land \neg q\), ou seja, "o motor está ligado e o carro não se move".