Negação de proposições em conjuntos e contraexemplos