Sejam f e g duas aplicação de
em
. Traduzir em termos de quantificadores as expressões seguintes :
f é par.
f é par.
Passo 1
O enunciado pede para traduzir “
é par” usando lógica de predicados (quantificadores). O conteúdo envolvido é a definição de função par, que relaciona valores de
em
e em
.
Passo 2
Por definição, uma função
é par se, e somente se, para todo
real vale