2 suhteet: Eksistenssikvanttori, Universaalikvanttori.
Eksistenssikvanttori
Eksistenssikvanttori eli olemassaolokvanttori (\exists) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta ainakin yhdelle joukon alkiolle, eli jonkin ominaisuuden toteuttava alkio on olemassa.
Uusi!!: Kvanttori ja Eksistenssikvanttori · Katso lisää »
Universaalikvanttori
Universaalikvanttori eli kaikkikvanttori (\forall) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta kaikille jonkin joukon alkioille.