Com base no argumento a seguir, assinale a alternativa que indica qual regra de inferência válida da dedução lógica ele exemplifica.

Se chove, então a rua fica molhada. 
Choveu. 
Logo, a rua ficou molhada.