Uma frase afirmativa que possa ser classificada em verdadeira ou falsa é uma proposição. Para formular composições de proposições simples, a lógica matemática faz uso de alguns conectivos padronizados: a conjunção (e, indicada por ∧); a disjunção (ou, indicada por ∨); a condicional (se… então, indicada por →); e a bicondicional (se, e somente se, indicada por ↔). Também tem-se a negação, indicada por ¬, que age sobre uma proposição sozinha, negando seu sentido. Algumas sentenças, denominadas sentenças abertas, não são consideradas proposições porque seu valor- verdade depende de uma ou mais variáveis; elas podem ser transformadas em proposições pelo uso de um quantificador universal (para qualquer x) ou de um quantificador existencial (existe x).
Considerando essas informações, e que !$ \mathbb{Z} !$ representa o conjunto dos números inteiros, julgue o item seguinte.
A negação da proposição Para qualquer !$ x\,\in\,\mathbb{Z} !$, é verdadeiro que !$ x^2 = 4 \rightarrow x = 2 !$ é a proposição Existe !$ x\,\in\,\mathbb{Z} !$ tal que !$ x^2 = 4 \wedge x \neq 2 !$.