Plena indukto

Ĉi tiu artikolo temas pri matematika principo uzebla por pruvado. Por fizika fenomeno rigardu la paĝonElektromagneta indukto.Koncerne aliajn signifojn aliru la apartigilonIndukto.

Forta indukto,ankaŭ sciata kielplena indukto,estas varianto sur la principo dematematika indukto.La indukta hipotezo, anstataŭ estante simple

$P(n-1),$

estas

$\forall i\in \left\{1\ldots n-1\right\}P(i)$.

Ĉi tiu estas klarepli fortahipotezo, de ĉi tie la nomoforta indukto.Tio kio estas demonstrebla perregula induktoestas demonstrebla ankaŭ kun forta indukto.

Aliflanke ĝi postulas nur la enkondukon de nova propozicioQ(n) kiu estas lakonjunkciode laP(m) por 0 ≤m≤npor skribi argumenton de forta indukto kiel kutima indukto. Ĉi tio estas iam farita implice, kiel ĉeminimumakontraŭekzemplode argumento perkontraŭdiro.