Qual é a negação lógica de "todos os X são Y"?

Equivale a: existe pelo menos um X que não é Y.

Explicação:
Na lógica de predicados, a negação de um quantificador universal transforma-se em um quantificador existencial:
\( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \).
Ou seja, negar "todos" significa afirmar que pelo menos um contraexemplo existe.

Exemplo:
Proposição: "Todas as lâmpadas estão funcionando."
Negação: "Existe pelo menos uma lâmpada que não está funcionando."
Em notação: se \(P(x)\) = "x está funcionando", então \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \).