GabaritoA — Se o chão não fica molhado, então não chove.
Gabarito: letra A. A proposição "Se chove, então o chão fica molhado" (p → q) é logicamente equivalente à sua contrapositiva: "Se o chão não fica molhado, então não chove" (~q → ~p). Essa é a equivalência clássica da condicional, também expressa como ~p ∨ q, mas a alternativa A apresenta exatamente a contrapositiva.
A contrapositiva de p → q é ~q → ~p. Aplicando: p = "chove", q = "chão fica molhado". ~q = "chão não fica molhado", ~p = "não chove". Portanto, a proposição "Se o chão não fica molhado, então não chove" é equivalente à original.
"Se não chove, então o chão não fica molhado" é a inversa (~p → ~q), que não é equivalente à condicional. A inversa tem tabela-verdade diferente da original.
"Chove e o chão não fica molhado" (p ∧ ~q) é a negação da condicional. A negação de p → q é p ∧ ~q, portanto esta proposição é falsa quando a original é verdadeira, e vice-versa.
"Não chove ou o chão não fica molhado" (~p ∨ ~q) não é equivalente. A equivalência correta da condicional para disjunção é ~p ∨ q ("não chove ou o chão fica molhado"). A alternativa D apresenta a disjunção com o consequente negado, o que altera o valor lógico.
Gabarito: letra A
Link permanente: /questoes/qg695449