Ex. 1.17 - Reescreva as seguintes definições matemáticas simbolicamente:
Identidade: Existe um elemento e tal que a soma de
com e é
.
Identidade: Existe um elemento e tal que a soma de
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
. Vamos usar quantificadores para expressar “existe” (
) e “para todo” (
), além da igualdade e da operação
.
Passo 2
Denotando por
o conjunto onde “
” está definido, a frase “Existe um elemento
tal que, para todo
, a soma de
com
é
” vira: