Qual é a negação lógica de uma proposição universal do tipo "Todo A é B" e como ela se explica em linguagem natural?

Negação: \( \neg\forall x\,(A(x)\rightarrow B(x)) \Leftrightarrow \exists x\,(A(x)\land\neg B(x)) \).

Explicação: para que uma sentença universal seja falsa basta um contraexemplo; como \(A\rightarrow B\) falha somente quando \(A\) é verdadeiro e \(B\) é falso, a negação transforma a quantificação universal em existencial e a implicação em conjunção com negação.

Exemplo:
Frase original: "Todo livro é interessante."
Forma lógica: \( \forall x\,(L(x)\rightarrow I(x)) \).
Negação: \( \exists x\,(L(x)\land\neg I(x)) \) — ou seja, "existe pelo menos um livro que não é interessante".