Do ponto de vista lógico, a afirmação “se é inverno, então não chove,” é equivalente a:

Gabarito

D

Comentário do professor

A frase dada é uma proposição do tipo condicional: seja \(p\) = é inverno e \(q\) = não chove, então a sentença é \(p \to q\).

Uma equivalência lógica padrão é \(p \to q \equiv \neg p \lor q\). Essa transformação troca a estrutura "se... então..." por uma disjunção entre a negação do antecedente e o consequente.

Intuitivamente, a condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso; para garantir verdade em todos os outros casos, basta afirmar que ou o antecedente não ocorre ou o consequente ocorre.

Aplicando aos enunciados: \(\neg p\) = não é inverno e \(q\) = não chove, resultando em não é inverno ou não chove, equivalente à proposição original.