Vés al contingut

Quantificador existencial: diferència entre les revisions

cap resum d'edició
m (→‎Vegeu també: Teorema d'existència)
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 (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 [[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>
 
== Exemple ==
* [[Lògica de primer ordre]]
* [[Teorema d'existència]]
 
== Referències ==
{{Referències}}
 
[[Categoria:Teoria de conjunts]]
117.667

modificacions