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

Passo 1

Estamos somando os naturais 1 e 2 usando a definição recursiva de soma de Peano.
A definição de soma recursiva é:
Base: para todo n,
n + 0 = n
Passo recursivo: para todo n e m,
n + S(m) = Sl(n + mr)

Passo 2

Representamos 1 e 2 pelos sucessores de 0: 1 = S(0) e 2 = S(S(0)). Então aplicamos recursivamente:
1 + 2 = 1 + S(S(0)) = Sl(1 + S(0)r) = Sl(S(1 + 0)r) = Sl(S(1)r)

Passo 3

Como S(1) = 2, temos S(S(1)) = S(2) = 3.

Resposta

3

Exercícios relacionados