Universaalikvanttori
Wikipedia
Universaalikvanttori eli kaikkikvanttori (
) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta kaikille jonkin joukon alkioille.
- x tarkoittaa ”kaikilla x”
- x P(x) tarkoittaa ”kaikilla x pätee P(x)”
