A proposição "Se chove, então a rua fica molhada" é logicamente equivalente a:
Questão de Lógica proposicional · INSS · gabarito comentado
FGV · Raciocínio Lógico-Matemático · INSS
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).
Revise a teoria de Lógica proposicional
Conectivos: e (conjunção), ou (disjunção), se...então (condicional), se e somente se (bicondicional). De Morgan: negar (p e q) vira (não p ou não q); negar (p ou q) vira (não p e não q). A negação de TODO A é B é ALGUM A não é B. A condicional p então q equivale à contrapositiva: não q então não p.