Logique

Qu'est ce qu'un raisonnement par récurrence ?

Il y a deux phases dans le raisonnement par récurrence:

  • l'initialisation : il y a un rang n0 pour lequel ta propriété est vérifiée
  • ensuite le tout c'est de montrer que la propriété se passe d'un rang au suivant, on parle donc d'hérédité.

Ainsi si on montre que la propriété se transmet alors comme elle est vraie au rang n0, elle sera vraie au rang n0+1.