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\).
EDB — 1XR
Stai gestendo il blob in: Multiple languages