Calcule usando a definição de soma:
Passo 1
Neste exercício, a gente vai calcular a soma
usando a definição recursiva de soma de números naturais. O conteúdo é a operação de adição em
pelos axiomas de Peano e vamos precisar da definição recursiva e do conceito de sucessor.
Passo 2
A definição recursiva de soma de números naturais é dada por:
e
Onde
é o elemento neutro e
representa o sucessor de
.
Passo 3
Lembrando que o número 2 pode ser expresso como
, ou seja, 2 é o sucessor do sucessor de zero. Vamos usar essa expressão para os dois termos da soma.
Passo 4
Agora aplicamos a definição passo a passo:
Começamos escrevendo
Como
, isso vira
Pela regra
temos
Em seguida,
E pela definição de neutro,
Logo,
Substituindo de volta,
Resposta
4