Задание. Запиши отрицание высказывания: 1) \(\forall x \in \mathbb{N}: x + 4 > 6\)

Отрицание всеобщего квантора заменяется на квантор существования, а знак неравенства — на противоположный:

\(\neg(\forall x \in \mathbb{N}: x+4>6) \equiv \exists x \in \mathbb{N}: x+4\le 6\).

Ответ: \(\exists x \in \mathbb{N}: x+4\le 6\).