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?