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

p ∧ ¬q

Explicação:
Um condicional \(p \to q\) é falso somente quando p é verdadeiro e q é falso; assim a negação é \(p \land \neg q\).

Exemplo:
Frase: Se houver energia, então as máquinas funcionarão.
Negação: Há energia e as máquinas não funcionarão.
Simbolicamente: \(p \to q\) ⟶ \(p \land \neg q\).