Raciocínio lógicoImplicação lógica

• (Quadrix 2018)

Considerem-se as seguintes proposições.

Se o tempo está nublado, há ventos.

Se está chovendo, o tempo está nublado.

Se Marisa saiu a pé, não está chovendo.

Se não está chovendo, Marisa está contente.

Acerca das proposições acima apresentadas, julgue o item subsequente.

Se Marisa não está contente, ela não saiu a pé.