Quantificador existencial: diferència entre les revisions
m Robot afegeix: fr:Existence (mathématiques) |
m Robot afegeix: fa:سور وجودی |
||
Línia 30: | Línia 30: | ||
[[es:Cuantificador existencial]] |
[[es:Cuantificador existencial]] |
||
[[et:Olemasolukvantor]] |
[[et:Olemasolukvantor]] |
||
[[fa:سور وجودی]] |
|||
[[fi:Eksistenssikvanttori]] |
[[fi:Eksistenssikvanttori]] |
||
[[fr:Existence (mathématiques)]] |
[[fr:Existence (mathématiques)]] |
Revisió del 20:42, 31 oct 2010
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 el univers o domini de referència, que està format per totes les constants.
Exemple
Si tenim dos conjunts A i B i A és un subconjunt de B :
existeix almenys un element x de B que pertany a A :
En afirmar que hi ha almenys un x que pertany a B i pertany a A , vol dir que no tots els elements de B pertanyen a A , en ser A i B conjunts diferents, hi ha almenys un elemnto i de B que no pertany a A :
Què podem llegir: hi ha almenys un element i a B , i aquest element i no pertany a A .