A negação da proposição “Chove em Imbé se e somente se faz calor no verão” é:
Se chove em Imbé, então faz calor no verão.
Chove em Imbé e faz calor no verão.
Não chove em Imbé ou não faz calor no verão.
Não chove em Imbé se e somente se não faz calor no verão.
Ou chove em Imbé ou faz calor no verão.