EDB β€” 1XR

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

Proposition 49

[1XR] Let \(N∈ β„•\), and let \(P(n)\) a be logical clause, true for \(n=N\) and such that

\[ βˆ€ nβ‰₯ N, P(n)β‡’ P(S(n))\quad , \]

then \(P\) is true for every \(nβ‰₯ N\).

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