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

Gabarito

D

Comentário do professor

Comece identificando as proposições: seja \(p\) = "é inverno" e \(q\) = "não chove". A frase dada é uma condicional, escrita logicamente como \(p \rightarrow q\).

Uma equivalência padrão da condicional é \(p \rightarrow q \equiv \lnot p \lor q\). Isso significa que "se p então q" é verdadeiro exatamente quando ou p é falso ou q é verdadeiro.

Aplicando aqui, \(\lnot p\) corresponde a "não é inverno" e \(q\) já é "não chove". Assim obtemos a disjunção: "não é inverno ou não chove".

Intuitivamente, a condicional falha só quando é inverno e, ao mesmo tempo, chove. Para evitar essa situação, basta que não seja inverno ou que não chova, o que confirma a equivalência.