Qual é a negação de uma proposição condicional p → q?

Resposta

p ∧ ¬q

A negação de um condicional é verdadeira quando o antecedente ocorre e o consequente não ocorre. Em símbolos: \( \neg(p\to q) \equiv p \land \neg q\).
Note que a contrapositiva \(p\to q \equiv \neg q \to \neg p\) é equivalente ao condicional, enquanto a inversa \(\neg p \to \neg q\) não é equivalente.

Exemplo:
Se p = "há energia elétrica" e q = "os computadores funcionam", então a negação de "se há energia então os computadores funcionam" é "há energia e os computadores não funcionam", isto é, p ∧ ¬q.