Considere as proposições lógicas:

● P: "Se chove, então a rua fica molhada."

● Q: "A rua não está molhada."

A partir dessas proposições, qual das seguintes sentenças representa a negação da proposição P → Q?