Calcule usando a definição de soma:
3+2

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 a e b vale
a + 0 = a
e
a + S(b) = S(a + b)
onde S(b) é o sucessor de b.

Passo 2

Representamos 3 e 2 como sucessores de 0: 3 = S(S(S(0))) e 2 = S(S(0)). Assim,
3 + 2 = 3 + S(S(0))

Passo 3

Aplicamos a definição recursiva duas vezes: primeiro com b = S(0):
3 + S(S(0)) = Sl(3 + S(0)r)
Agora calculamos 3 + S(0):
3 + S(0) = S(3 + 0) = S(3) = 4
Logo,
3 + S(S(0)) = S(4) = 5

Resposta

5

Exercícios relacionados