A proposição 'um número inteiro é par se e somente se o seu quadrado for par' equivale logicamente à proposição: