EDB — 27J

4.1 Induzione[27J]

La verifica di \(P(0)\) è detta “base dell’induzione”, mentre la verifica \(∀ n∈ ℕ, P(n)⇒ P(S(n))\) è detta “passo induttivo” (in cui \(P(n)\) viene presa come ipotesi, e viene detta “ipotesi induttiva”).

E4

[1XF]↺↻

E4

[1XG]↺↻