EDB — 27J

4.1 Induzione[27J]

La verifica di $P(0)$ è detta “base dell’induzione”, mentre la verifica $\forall n\in \mathbb{N},P(n)\Rightarrow P(S(n))$ è detta “passo induttivo” (in cui $P(n)$ viene presa come ipotesi, e viene detta “ipotesi induttiva”).

E4

[1XF]↺↻

E4

[1XG]↺↻