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)),

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

Download PDF
Managing blob in: Multiple languages
This content is available in: Italian English