Qual é a negação lógica de uma proposição universal afirmativa do tipo "Todo A é B"?

Alguma A não é B.

Formalmente:
¬\(\forall x\,(A(x)\rightarrow B(x))\) ≡ \(\exists x\,(A(x)\land\neg B(x))\)

Exemplo:
Proposição: "Todo pássaro voa" — formalmente \(\forall x\,(P(x)\rightarrow V(x))\).
Sua negação: \(\exists x\,(P(x)\land\neg V(x))\) — "Algum pássaro não voa" (por exemplo, avestruz).