Primeiro Princípio da Indução Finita em função recursiva
A propriedade do Princípio da indução matemática pode ser estendido ao conjunto das funções das funções discretas.
A 1ª Princípio da Indução Finita - PIF: Seja
é verdadeira , valer que ” Então , é verdadeira.
O PIF fornece uma estratégia de provas de proposições, denominada de prova indutiva. Se:
- Base indutiva: Provar a validade de uma base
da proposição. - Passo indutivo: Assumir que a proposição seja válida para
, então é possível provar que também é válida.