A proposição "Se chove, então a rua fica molhada" é logicamente equivalente a:
- A) Se a rua fica molhada, então chove.
- B) Se não chove, então a rua não fica molhada.
- C) Se a rua não fica molhada, então não chove. ✓
- D) Chove e a rua não fica molhada.
Gabarito: C
Explicação: A contrapositiva (¬q → ¬p) é logicamente equivalente à condicional (p → q).