Sejam f e g duas aplicação de \mathbb{R} em \mathbb{R}. Traduzir em termos de quantificadores as expressões seguintes :
f é par.

Passo 1

O enunciado pede para traduzir “ f é par” usando lógica de predicados (quantificadores). O conteúdo envolvido é a definição de função par, que relaciona valores de f em x e em -x.

Passo 2

Por definição, uma função f\colon \mathbb{R}\to\mathbb{R} é par se, e somente se, para todo x real vale
f(-x) = f(x).

Resposta

\forall x \in \mathbb{R},\;f(-x) = f(x).

Exercícios relacionados