Qual a forma lógica da negação de um condicional p → q?

p ∧ ¬q

Porque negar "se p então q" exige que o antecedente ocorra e o consequente não ocorra.
Simbolicamente: \( \neg(p \to q) \equiv p \land \neg q\).

Exemplo:
Frase original: "Se for feriado, o banco estará fechado".
Defina p = "é feriado", q = "o banco está fechado".
Forma simbólica: \(p \to q\).
Negação natural: "É feriado e o banco não está fechado".
Negação simbólica: \(\neg(p \to q) \equiv p \land \neg q\).