Qual é a negação lógica da afirmação genérica "Nenhum A é B" em termos de quantificadores?

Ao menos um A é B.
\( \exists x\,(A(x)\land B(x)) \)

Explicação:
A afirmação "Nenhum A é B" se formaliza como \( \forall x\,(A(x)\to\neg B(x)) \).
Negando-a: \( \neg\forall x\,(A(x)\to\neg B(x))\equiv\exists x\,\neg(A(x)\to\neg B(x)) \).
Como \( \neg(p\to q)\equiv p\land\neg q \), obtemos \( \exists x\,(A(x)\land B(x)) \).
Exemplo:
Se \(C(x)\) = "x é cão" e \(W(x)\) = "x é branco":
"Nenhum cão é branco" = \( \forall x\,(C(x)\to\neg W(x)) \).
Sua negação = \( \exists x\,(C(x)\land W(x)) \), isto é, "Existe pelo menos um cão branco".