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