Principi d'inducci Segurament haurs sentit parlar de lefecte dmino: la caiguda duna fitxa provoca una reacci en cadena,

tombant les fitxes venes

!d el principi dinducci "s el mateix, per a nivell lgic Per comen#ar "s un principi matemtic, o sigui, $ue no sha de demostrar a partir daltres supsits, sin $ue saccepta com a cert sense necessitat de cap altra %ustificaci &s a partir dels principis $ue sobtenen o es demostren teoremes Si els principis serveixen per definir una estructura matemtica, es parla daxiomes, com els de geometria o els dels nombres reals 'amb" es parla de vegades de laxioma dinducci Per, $ue t" a veure tot aix amb el dmino( )eges la seg*ent formulaci del principi dinducci matemtica: Sigui P+ n , una afirmaci sobre lenter positiu n tal $ue: P+-, "s cert Per a $ualsevol . / - el compliment de P+., implica sempre el de P+.0-, 1leshores P+ n , "s cert per a tot n enter positiu 2s pot formular a partir de n3 inicial $ualsevol i aix4 ser vlid per a tot n 5 n3 'amb" es pot generalit6ar per a $ualsevol con%unt ordenat delements 7 )eges la seg*ent afirmaci: 8onat un con%unt 7 $ualsevol, tal $ue els seus elements o subcon%unts es poden associar amb un nombre natural, o enter, 7-, 79, 7: i $ue el primer +73 o 7- , compleix certa propietat P , llavors, si suposant $ue P es compleix per a 7. , un nombre arbitrari . , implica $ue es compleix per als membres de 7.0- , %a $ue la propietat "s certa per a tot el con%unt 7
;o hi ha dubte $ue a$uest darrer enunciat "s llarg, per fixant<s'hi atentament, ve a ser el mateix $ue el primer, aplicat a subcon%unts dun 7 $ualsevol, en comptes de nombres naturals +&s normal si per entendre<ho l'has hagut de llegir poc a poc m"s duna vegada ,

2s pot veure la semblan#a amb el dmino: com $ue el primer compleix P +cau, i una fitxa +7 ., fa caure +compleix P, la seg*ent +7.0-, , aleshores cauen totes =a saps ara $u> "s el principi dinducci