A proposição "um número inteiro é par se e somente se o seu quadrado for par" equiva...

Gabarito: a)
A proposição inicial é uma equivalência lógica, que afirma que 'um número inteiro é par se e somente se o seu quadrado for par'. Isso significa que ambas as condições, ser par e ter um quadrado par, são verdadeiras simultaneamente ou falsas simultaneamente.

A alternativa 'a' reescreve essa equivalência de forma explícita, afirmando que 'se um número inteiro for par, então o seu quadrado é par, e se um número inteiro não for par, então o seu quadrado não é par'. Esta alternativa captura corretamente a natureza bidirecional da proposição original, cobrindo tanto a implicação direta (número par implica quadrado par) quanto a implicação inversa (número não par implica quadrado não par).

As outras alternativas não expressam completamente a relação de equivalência como a alternativa 'a' faz. Por exemplo, a alternativa 'b' e 'c' apenas tratam de uma direção da implicação e não abordam a condição de equivalência completa.