Qual é a negação lógica da proposição condicional p → q?

Explicação:
A negação de um condicional é verdadeira quando o antecedente ocorre e o consequente não ocorre, ou seja, ¬(p → q) é logicamente equivalente a p ∧ ¬q.
Fórmula:
\( \neg(p \to q) \equiv p \land \neg q \)
Exemplo:
Seja p = "Está sol" e q = "Vou ao parque".
A proposição condicional: Se está sol então vou ao parque.
Sua negação: Está sol e não vou ao parque, correspondente a p ∧ ¬q.