# What happens when you apply a NOT to a universal quantifier

If I have $\forall x: P(x)$, what is the equivalent function if I attach a not to the whole function:

$\neg (\forall x: P(x))$

-

Then you have $\exists x : \lnot P(x)$.
you'll have $$\exists x: \neg P(x)$$