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

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

Explicação:
A condicional \(p \rightarrow q\) é falsa apenas quando \(p\) é verdadeira e \(q\) é falsa, por isso a negação é a conjunção \(p \land \neg q\), em linguagem natural "p e não q".

exemplo:
Se \(p\): estudar, \(q\): passar no teste.
A afirmação \(p \rightarrow q\) é "se estudar, então passar no teste".
Sua negação \(p \land \neg q\) corresponde a "estudar e não passar no teste".
Em termos de valores, se \(p=\) V e \(q=\) F, então \(p \rightarrow q\) é F e \(p \land \neg q\) é V, confirmando a negação.