Plena indukto

Forta indukto, ankaŭ sciata kiel plena indukto, estas varianto sur la principo de matematika indukto. La indukta hipotezo, anstataŭ estante simple

$P(n-1),$

estas

$\mathrm{\forall }i\in \{1\dots n-1\}P(i)$.

Ĉi tiu estas klare pli forta hipotezo, de ĉi tie la nomo forta indukto. Tio kio estas demonstrebla per regula indukto estas demonstrebla ankaŭ kun forta indukto.

Aliflanke ĝi postulas nur la enkondukon de nova propozicio Q(n) kiu estas la konjunkcio de la P(m) por 0 ≤ m ≤ n por skribi argumenton de forta indukto kiel kutima indukto. Ĉi tio estas iam farita implice, kiel ĉe minimuma kontraŭekzemplo de argumento per kontraŭdiro.