Definizione
108
[06Y] (Svolto il 2022-10-27) Sia P(x) una proposizione logica che dipende da una variabile libera \(x∈ X\). Diremo che
|
P(x) vale definitivamente per \(x∈ X\) se |
\(∃ y∈ X, ∀ x∈ X,x≥ y\) vale P(x) ; |
|
P(x) vale frequentemente per \(x∈ X\) se |
\(∀ y ∈ X, ∃ x∈ X, x≥ y\) per cui P(x) . |