Qual é a negação da proposição “todos os médicos são felizes”?