A negação da proposição: “Chove em Itabira se e somente se for verão” é:
- A Não chove em Itabira se e somente se não for verão.
- B Se é verão então chove em Itabira.
- C Ou chove em Itabira ou é verão.
- D Chove em Itabira e não é verão.
A negação da proposição: “Chove em Itabira se e somente se for verão” é:
Negação do “Se, e somente se”
Basta trocar “se e somente se” por “ou… ou”
Ou seja:
A ⇔ B ≡ ~(A v B)