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. |