Apresente a execução passo a passo das seguintes expressões:
[suc(suc(suc zero))]

Passo 1

Beleza! A gente vai resolver essa expressão: [suc(suc(suc , zero))]. O assunto aqui é a aritmética de Peano, que usa o conceito de “sucessor” para construir os números naturais. Vamos precisar entender o que significa a função suc e como ela se aplica ao zero para chegar ao resultado final.

Passo 2

Primeiro, vamos entender o que é zero. Em aritmética de Peano, zero representa o número 0.

Passo 3

A função suc é o “sucessor”. Ou seja, suc(n) é o próximo número após n. Por exemplo, suc(zero) seria o próximo número após 0, que é 1.

Passo 4

Agora, vamos aplicar suc mais uma vez: suc(suc(zero)). Já sabemos que suc(zero) = 1, então substituindo, temos suc(1), que é 2.

Passo 5

Uma última aplicação: suc(suc(suc(zero))). Sabemos que suc(suc(zero)) = 2, então substituindo, temos suc(2), que é 3.

Resposta

O valor da expressão [suc(suc(suc , zero))] é 3.

Exercícios relacionados