Quantificador existencial: diferència entre les revisions

cap resum d'edició
Cap resum de modificació
Cap resum de modificació
En [[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.
 
== Exemple ==
163.078

modificacions