EDB — 1XR

↑ ← → ↓

View

Proposition 49

[1XR] Let $N \in ℕ$ , and let $P (n)$ a be logical clause, true for $n = N$ and such that

\forall n \geq N, P (n) \Rightarrow P (S (n)),

then $P$ is true for every $n \geq N$ .

Download PDF

Authors: "Mennucci , Andrea C. G." .

Bibliography — Book index

Managing blob in: Multiple languages

This content is available in: Italian English