A negação da proposição “Todo dia é dia”, do ponto de vista lógico, é