Revisió del 19:21, 19 març 2010 modifica Mcapdevila (discussió \| contribucions) 185.502 edits Cap resum de modificació ← Edició anterior		Revisió del 19:21, 19 març 2010 modifica desfés Mcapdevila (discussió \| contribucions) 185.502 edits Cap resum de modificació Edició següent →
Línia 1: AEn [[lògica matemàtica]], es fa servir el símbol: <math> \exists </math>, 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 el [[domini de referència\|univers o domini de referència]], que està format per totes les [[constant]] s.

Quantificador existencial: diferència entre les revisions