Definizione
58
[018](Svolto il 2022-10-27) Sia P(n) una proposizione logica che dipende da una variabile libera \(n∈ℕ\). Diremo che
|
P(n) vale definitivamente in \(n\) se |
\(∃ m∈ ℕ, ∀ n∈ ℕ\) con \(n≥ m\) vale P(n) ; |
|
P(n) vale frequentemente in \(n\) se |
\(∀ m∈ ℕ, ∃ n∈ ℕ\) con \(n≥ m\) per cui P(n) vale. |