Back Quantificador existencial Catalan Existenční kvantifikátor Czech Eksistenskvantor Danish Existenzaussage German Existential quantification English Cuantificador existencial Spanish Olemasolukvantor Estonian سور وجودی Persian Eksistenssikvanttori Finnish Quantification existentielle French
En predikata logiko, la ekzista kvantizanto[1] aŭ ekzistokvantigilo estas kvantizanto, kiu signas ke iu eco havas almenaŭ unu objekto. La eco estas esprimita per malferma formulo, do formulo, kiu entenas unu neligitan variablon. En la plej simpla kazo, tio estas unu-argumenta predikato.
- ↑ Nova Plena Ilustrita Vortaro de Esperanto: kvant/iz/ant/o “ekzista kvantizanto”