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

Resposta

A negação de p → q é p ∧ ¬q, lida "p e não q".

Regra: manter o antecedente, negar o consequente e unir por conjunção, pois p → q é falso somente quando p é verdadeiro e q é falso.