Bonjour ,
il y a pas trop longtemps , un gars nous a dit que l'induction servait à la construction d'une suite à partir d'une condition initiale , et d'une application h: INxE-->E , en posant
u_n : IN --> E ,
u_0 = a
et pour tout n de IN , u_n+1 = h(n,u_n).

Et que "ça se démontre" ... devant nos regards impressionnés , il a fait une ébauche de démonstration , ça tombe bien parcequ'il nous enseignait le calcul de séquent , donc on l'a fait en calcul de s'équent ...

La démo utilisait la définition et les propriété des graphes . Il considérait des parties de INxE particulières et leur intersections .
Sauf que j'étais encore absorbé par ce qu'il disait avant , je n'ai donc pas suivi la brillante démonstration qui se faisait sous mon regard vide ...

Si quelqu'un retrouve ou peux m'écrire la démonstration auquel je fais allusion , je lui en serait reconnaissant.


Merci d'avance .