EDB β€” 1XR

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

View

Italian

Proposizione 49

[1XR] Sia \(N∈ β„•\), sia \(P(n)\) una proposizione logica vera per \(n=N\) e tale che

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

allora \(P\) Γ¨ vera per ogni \(nβ‰₯ N\).

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