Qual é a negação lógica da condicional p → q em termos de p e q?

Resposta

p ∧ ¬q

Um condicional é falso apenas quando o antecedente é verdadeiro e o consequente é falso.
Logo, ¬(p → q) ocorre exatamente quando p é verdadeiro e q é falso, isto é, p ∧ ¬q.

Exemplo:
Condicional: Se há nuvens escuras, então chove (c → h).
Negação: Há nuvens escuras e não chove (c ∧ ¬h).
Assim, a negação afirma o antecedente e nega o consequente.