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

P → Q é negada por P ∧ ¬Q.

Para que a afirmação "Se P então Q" seja falsa, é necessário que P seja verdadeira e Q seja falsa ao mesmo tempo.

Exemplo:
Se chover, a rua ficará molhada.
P = chover, Q = a rua ficar molhada.
Negação: chove e a rua não fica molhada (P ∧ ¬Q).