Back Existenční kvantifikátor Czech Eksistenskvantor Danish Existenzaussage German Existential quantification English Ekzista kvantizanto Esperanto Cuantificador existencial Spanish Olemasolukvantor Estonian سور وجودی Persian Eksistenssikvanttori Finnish Quantification existentielle French
En lògica matemàtica, es fa servir el símbol: , anomenat quantificador existencial, anteposat a una variable per dir que hi ha almenys un element del conjunt a què fa referència la variable, que compleix la proposició escrita a continuació. Normalment, en lògica, el conjunt a què es fa referència és l'univers o domini de referència, que està format per totes les constants.[1]
- ↑ Diccionario de Filosofía (en castellà). Barcelona: SPES Editorial (edició especial per a RBA Editoriales), 2003, p. 5 (Biblioteca de Consulta Larousse). ISBN 84-8332-398-2.