A negação da proposição "todos os matemáticos são felizes" é:
alguns matemáticos são felizes
existem matemáticos que são felizes
existem matemáticos que não são felizes
nenhum matemático não é feliz