Qual é a negação lógica de uma proposição universal afirmativa \( \forall x\,P(x)\)?

∃x ¬P(x).

Explicação:
A negação de uma universal afirmativa inverte o quantificador e nega a propriedade: \( \neg\forall x\,P(x)=\exists x\,\neg P(x)\).

Exemplo:
Proposição: "Todos os veículos são elétricos" — formalmente \( \forall x\,E(x)\).
Negação correta: "Existe pelo menos um veículo que não é elétrico" — \( \exists x\,\neg E(x)\).