\neg\exists !x(x>3)\\
\neg\exists x(x>3) \vee \exists x,y(x\neq y\wedge x,y>3)