2504
edicions
Canvis
Anar a la navegació
Anar a la busca
Pàgina nova, en el contingut: «En llògica i teoria de conjunts, un ''' quantificador ''' s'utilisa per indicar quants elements d'un conjunt donat complixen en certa propietat. Ex...»
En [[llògica]] i [[teoria de conjunts]], un ''' quantificador ''' s'utilisa per indicar quants elements d'un [[conjunt]] donat complixen en certa propietat. Existixen molts tipos de quantificadors, perp potser els més estudiats i utilisats sigan:
* [[Quantificador universal]]
: <math> \forall \, x, y \ldots </math>
: Per a tot x, i. ..
* [[Quantificador existencial]]
: <math> \exists \, x, y \ldots </math>
: Hi ha almenys un x, i. ..
* Quantificador existencial únic
: <math> \exists ! \, x, y \ldots </math>
: Hi ha exactament un x, i. ..
* Negació del quantificador existencial
: <math> \nexists \, x, y \ldots </math>
: No hi ha cap x, i. ..
[[Categoria:Llògica]]
[[Categoria:Teoria de conjunts]]
* [[Quantificador universal]]
: <math> \forall \, x, y \ldots </math>
: Per a tot x, i. ..
* [[Quantificador existencial]]
: <math> \exists \, x, y \ldots </math>
: Hi ha almenys un x, i. ..
* Quantificador existencial únic
: <math> \exists ! \, x, y \ldots </math>
: Hi ha exactament un x, i. ..
* Negació del quantificador existencial
: <math> \nexists \, x, y \ldots </math>
: No hi ha cap x, i. ..
[[Categoria:Llògica]]
[[Categoria:Teoria de conjunts]]