Quantificador existencial: diferència entre les revisions

En [[lògica matemàtica]], es fa servir el símbol: <math> \exists </math>, anomenat '''quantificador existencial''', anteposat a una [[variable (matemàtiques)|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 el l'[[domini de referència|univers o domini de referència]], que està format per totes les [[Constant matemàtica |constants]].<ref>{{Ref-llibre |títol = Diccionario de Filosofía|edició = 1a|llengua = castellà|data = 2003|editorial = SPES Editorial (edició especial per a RBA Editoriales)|lloc = Barcelona|pàgines = 5|isbn = 84-8332-398-2|col·lecció = Biblioteca de Consulta Larousse}}</ref>