Qual é a negação lógica de uma afirmação universal do tipo "Todas P são Q"?

Negação: troca o quantificador universal pelo existencial e nega a propriedade: \( \forall x\,(P(x)\rightarrow Q(x))\) é negado por \( \exists x\,(P(x)\land \neg Q(x))\).

Em linguagem natural: a negação diz que há, pelo menos, um indivíduo com a propriedade P que não tem a propriedade Q.

Exemplo:
Original (formal): \( \forall x\,(A(x)\rightarrow M(x))\) — "Todas as maçãs (A) são maduras (M)".
Negação (formal): \( \exists x\,(A(x)\land \neg M(x))\) — "Existe pelo menos uma maçã que não é madura."