Como se nega logicamente uma afirmação do tipo "Nenhum A é B"?

Há pelo menos um A que é B.

Explicação:
Uma sentença "Nenhum A é B" corresponde a \( \forall x\,(A(x)\rightarrow \neg B(x)) \).
Sua negação inverte o quantificador: \( \neg\forall x\,(A(x)\rightarrow \neg B(x))\equiv \exists x\,\neg(A(x)\rightarrow \neg B(x)) \).
Como \( \neg(P\rightarrow Q)\equiv P\wedge\neg Q \), obtemos \( \exists x\,(A(x)\wedge B(x)) \): existe pelo menos um A que é B.

Exemplo:
Afirmação: "Nenhum livro está rasgado" formaliza-se como \( \forall x\,(Livro(x)\rightarrow \neg Rasgado(x)) \).
Sua negação: "Existe pelo menos um livro que está rasgado", formalmente \( \exists x\,(Livro(x)\wedge Rasgado(x)) \).