Quantificador existencial: diferència entre les revisions
m [r2.6.1] Robot modifica: eo:Ekzistokvantigilo |
m Robot: Reemplaçament automàtic de text (-[[Imatge: +[[Fitxer:) |
||
Línia 4: | Línia 4: | ||
== Exemple == |
== Exemple == |
||
[[ |
[[Fitxer: Conjuntos 04.svg|right]] |
||
Si tenim dos conjunts ''' A ''' i ''' B ''' i ''' A ''' és un [[subconjunt]] de ''' B ''': |
Si tenim dos conjunts ''' A ''' i ''' B ''' i ''' A ''' és un [[subconjunt]] de ''' B ''': |
||
: <math> A \subset B \; \land \; A \not = B </math> |
: <math> A \subset B \; \land \; A \not = B </math> |
Revisió del 16:13, 24 gen 2011
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 .