Untitled

## Como usar o Primeiro Princípio da Indução

 

1. Encontrar o predicado que se deseja demonstrar.

  ** Atenção aqui: uma propriedade não é algo como $f(n)=n^2-n$ mas sim $P(n): f(n)=n^2-n$. Qual é a diferença? No primeiro estou definindo $f$. No segundo estou definindo $P$ (um predicado que pode ser verdadeiro ou falso$ e usando a definição de $f$ na definição de $P$.

 

2. Demonstrar que o predicado é verdadeiro no caso básico.

 

3. Demonstrar que, caso o predicado seja verdadeiro na instância $k$, também será verdadeiro na instância $k+1$