A negação da proposição: “Chove em Itabira se e somente se for verão” é:

Gabarito

Certo

Comentário do professor

Seja \(p\): chove em Itabira e \(q\): é verão. A proposição dada é uma bicondicional \(p \leftrightarrow q\), que afirma que \(p\) e \(q\) têm o mesmo valor lógico.

A negação de uma bicondicional é a situação em que eles têm valores diferentes, isto é, uma disjunção exclusiva (xor): exatamente um dos enunciados é verdadeiro.

Em forma lógica: \( \neg(p \leftrightarrow q) \equiv (p \land \neg q)\ \lor\ (\neg p \land q)\).

Transpondo para a linguagem do enunciado: Ou chove em Itabira ou é verão, no sentido de que ocorre exatamente uma das situações — não ambos ao mesmo tempo.