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

A proposição composta p ? p ^ q é equivalente à proposição: