Dadas as proposições:

P: "Se chove, então a estrada fica molhada."
Q: "A estrada está molhada."

Qual das alternativas a seguir representa corretamente a conclusão lógica que pode ser tirada com base nas proposições apresentadas?