Reescreva cada frase abaixo na forma “…se, e somente se…”
Ser par é uma condição necessária e suficiente para que um número seja da forma
.
Ser par é uma condição necessária e suficiente para que um número seja da forma
Passo 1
O enunciado diz que “ser par” é condição necessária e suficiente para um número ser da forma
com
. Ou seja, queremos reescrever isso usando a expressão “se, e somente se”, que em lógica corresponde a uma bicondicional.
Passo 2
Para traduzir a ideia de “condição necessária e suficiente” em “se, e somente se”, basta colocar o predicado “é par” à esquerda e “é da forma
” à direita, unindo-os por “se, e somente se”.
Resposta
Um número
é par se, e somente se, existe
tal que
.