Ex. 1.17 - Reescreva as seguintes definições matemáticas simbolicamente:
Identidade: Existe um elemento e tal que a soma de x com e é x.

Passo 1

O enunciado pede para traduzir em linguagem de lógica de predicados a definição de elemento neutro (identidade) para uma operação “ +” em um conjunto S. Vamos usar quantificadores para expressar “existe” ( exists) e “para todo” ( forall), além da igualdade e da operação +.

Passo 2

Denotando por S o conjunto onde “ +” está definido, a frase “Existe um elemento e tal que, para todo xin S, a soma de x com e é x” vira:
exists ein S;forall xin S:;x + e = x

Resposta

exists ein S;forall xin S:;x + e = x