Quantificador existencial: diferència entre les revisions
m Robot posa descripció a la imatge Conjuntos 04.svg a partir del peu de foto |
|||
Línia 21: | Línia 21: | ||
[[Categoria:Lògica]] |
[[Categoria:Lògica]] |
||
[[cs:Existenční kvantifikátor]] |
|||
[[da:Eksistenskvantor]] |
|||
[[de:Existenzaussage]] |
|||
[[en:Existential quantification]] |
|||
[[eo:Ekzistokvantigilo]] |
|||
[[es:Cuantificador existencial]] |
|||
[[et:Olemasolukvantor]] |
|||
[[fa:سور وجودی]] |
|||
[[fi:Eksistenssikvanttori]] |
|||
[[fr:Existence (mathématiques)]] |
|||
[[it:Quantificatore esistenziale (simbolo)]] |
[[it:Quantificatore esistenziale (simbolo)]] |
||
[[ja:存在記号]] |
|||
[[nl:Existentie]] |
|||
[[pl:Kwantyfikator egzystencjalny]] |
|||
[[pt:Quantificação existencial]] |
|||
[[ru:Квантор существования]] |
|||
[[sk:Existenčný kvantifikátor]] |
|||
[[sv:Existenskvantifikator]] |
|||
[[zh:存在量化]] |
Revisió del 00:12, 5 abr 2013
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 .