(\neg \forall x \varphi (x))\Leftrightarrow (\exists x \neg \varphi (x))