existenční kvantifikátor
Matematika
Logika, operátor určující, že existuje neprázdná množina (alespoň jeden) předmětů, tj. proměnná x, splňující predikát P.
Vytvořeno:
14. 3. 2000
Aktualizováno:
31. 7. 2000
Autor: -red-