Glossario
    
Consulta le altre schede dell'indice analitico
e torna all'Home Page del glossario

Principio d'induzione

 

Si abbia una famiglia di proposizioni FK associate ai numeri naturali k = 1, 2, 3, ... ;

  1. si sappia che la proposizione F1 è vera ;
  2. si ammetta per vera la k-esima proposizione ;
  3. si dimostri, con il procedimento iterativo che genera la famiglia F, che da b) segue la verità della (k + 1)-esima proposizione ;
  4. si conclude che la FK vale qualunque sia il numero naturale k.