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

p ∧ ¬q

Uma proposição condicional p → q é falsa somente quando p ocorre e q não ocorre.
Portanto a negação afirma que p é verdadeira e q é falsa, isto é, p ∧ ¬q.

Exemplo:
Se um produto está em promoção então o preço é reduzido.
Negação: O produto está em promoção e o preço não foi reduzido. (p = "produto está em promoção", q = "preço reduzido": p ∧ ¬q)