Eksistenssikvanttori
Wikipedia
Eksistenssikvanttori eli olemassaolokvanttori (
) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta ainakin yhdelle joukon alkiolle, eli jonkin ominaisuuden toteuttava alkio on olemassa.
- x tarkoittaa ”on olemassa x”
- x P(x) tarkoittaa ”on olemassa x siten, että P(x)”
