Calcule usando a definição de soma:
Passo 1
O enunciado pede para calcular a soma de dois naturais, 3 e 2, usando a definição recursiva de adição: vamos usar que para quaisquer naturais
e
vale
e
onde
é o sucessor de
.
Passo 2
Representamos 3 e 2 como sucessores de 0:
e
. Assim,
Passo 3
Aplicamos a definição recursiva duas vezes: primeiro com
:
Agora calculamos
Logo,
Resposta
5