A negação da proposição “Se faz frio em Palmeiras das Missões, então é inverno” é:

Faz frio em Palmeiras das Missões e não é inverno.

Se não faz frio em Palmeiras das Missões, então não é inverno.

Se não é inverno, então não faz frio em Palmeiras das Missões.

Faz frio em Palmeiras das Missões ou é inverno.

Faz frio em Palmeiras das Missões se e somente se é inverno.