EDB — 27J

↑ ← → ↓ view in whole PDF view in whole HTML

View

English

4.1 Induction[27J]

Proposition 4 Induction Principle

[1XC]

The verification of \(P(0)\) is called the ”basis of induction”, while the verification of \(∀ n∈ ℕ, P(n)⇒ P(S(n))\) it is called ”inductive step” (in which \(P(n)\) is taken as a hypothesis, and is called "inductive hypothesis").

E4

[1XF]

E4

[1XG]

Download PDF
Authors: "Mennucci , Andrea C. G." .
Managing blob in: Multiple languages
This content is available in: Italian English