4) \(\forall x \in \mathbb{N}: x\ge 2\)

Отрицание всеобщего квантора заменяется на квантор существования, а знак «больше или равно» — на «меньше»:

\(\neg(\forall x \in \mathbb{N}: x\ge 2) \equiv \exists x \in \mathbb{N}: x<2\).

Ответ: \(\exists x \in \mathbb{N}: x<2\).