Quantificador existencial: diferència entre les revisions
Cap resum de modificació |
m Robot afegeix: es modifica: it, ja, zh |
||
Línia 22: | Línia 22: | ||
[[Categoria: Teoria de conjunts]] |
[[Categoria: Teoria de conjunts]] |
||
[[cs: |
[[cs:Existenční kvantifikátor]] |
||
[[da: |
[[da:Eksistenskvantor]] |
||
[[de: |
[[de:Existenzaussage]] |
||
[[en: |
[[en:Existential quantification]] |
||
[[eo: |
[[eo:Ekzistokvantoro]] |
||
[[es:Cuantificador existencial]] |
|||
[[et: |
[[et:Olemasolukvantor]] |
||
[[fi: |
[[fi:Eksistenssikvanttori]] |
||
[[it: |
[[it:Quantificatore esistenziale (simbolo)]] |
||
[[ja: 存在 记号]] |
|||
[[ |
[[ja:存在記号]] |
||
[[pl: |
[[nl:Existentie]] |
||
[[pl:Kwantyfikator egzystencjalny]] |
|||
[[pt: |
[[pt:Quantificação existencial]] |
||
[[ru: |
[[ru:Квантор существования]] |
||
[[sk: |
[[sk:Existenčný kvantifikátor]] |
||
[[sv: |
[[sv:Existenskvantifikator]] |
||
[[zh: |
[[zh:存在量化]] |
Revisió del 19:29, 19 març 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 .