3) \(\forall a,b \in \mathbb{N}: a+b=b+a\)

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

\(\neg(\forall a,b \in \mathbb{N}: a+b=b+a) \equiv \exists a,b \in \mathbb{N}: a+b\ne b+a\).

Ответ: \(\exists a,b \in \mathbb{N}: a+b\ne b+a\).