Definition
58
[018](Solved on 2022-10-27) Let P(n) be a logical clause that depends on a free variable \(n∈ℕ\). We will say that
|
P(n) holds eventually in \(n\) if |
\(∃ m∈ ℕ, ∀ n∈ ℕ\) with \(n≥ m\), P(n) holds ; |
|
P(n) frequently holds in \(n\) if |
\(∀ m∈ ℕ, ∃ n∈ ℕ\) with \(n≥ m\) for which P(n) holds. |