Vikipedio:Projekto matematiko/Plena indukto
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Plena indukto (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
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
.
Ĉi tiu estas klare pli forta hipotezo, de ĉi tie la nomo forta indukto. Ĝi estas evidenta (tiu, ke, kiu) io demonstrebla kun regula indukto estas demonstrebla kun forta indukto.
Aliflanke ĝi postulas nur la enkonduko de nova propozicio Q(n) kiu estas la konjunkcio (logiko) de la P(m) por 0 ≤ m ≤ n al skribi forta indukta argumento kiel kutima indukto. Ĉi tiu estas iam farita implice, kiel en minimuma kontraŭekzemplo (argumentoj, argumentas) per kontraŭdiro.
