Com relação a lógica sentencial e de primeira ordem, julgue o item que se segue.

negação da proposição !$ ( \exists x) ( x + 3 = 25) !$ pode ser expressa !$ ( \forall x) ( x + 3 \neq 25) !$ corretamente por.