Changes

B)Seja <math>p(n)</math>, evensum(n) (a soma dos n primeiros inteiros positivos pares).

‘’’Passo base:’’’ Quando <math>n = 1</math>, a ação then (então) do procedimento toma efeito e atribui evensum(1) = 2, que é a soma do primeiro inteiro par.

‘’’Passo indutivo:’’’ Assumimos <math>p(k)</math> verdadeiro para algum <math>k \ge 1</math> e devemos mostrar que <math>p(k+1)</math> é também verdadeiro. A proposição <math>p(k)</math> afirma que evensum(k) é a soma dos primeiros <math>k</math> inteiros positivos pares. De acordo com o algoritmo, como <math> k+1</math>, a condição else é usada (com <math>k+1</math> em lugar de<math> n</math>) para obter evensum(k+1) e retorna: