Diferència entre les revisions de "Quantificadors"
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...») |
m |
||
(No se mostra una edició intermija del mateix usuari) | |||
Llínea 1: | Llínea 1: | ||
− | 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, | + | 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, pero els més estudiats i utilisats són: |
* [[Quantificador universal]] | * [[Quantificador universal]] | ||
Llínea 16: | Llínea 16: | ||
: <math> \nexists \, x, y \ldots </math> | : <math> \nexists \, x, y \ldots </math> | ||
: No hi ha cap x, i. .. | : No hi ha cap x, i. .. | ||
+ | |||
[[Categoria:Llògica]] | [[Categoria:Llògica]] | ||
[[Categoria:Teoria de conjunts]] | [[Categoria:Teoria de conjunts]] |
Última revisió del 17:37 2 gin 2017
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, pero els més estudiats i utilisats són:
- <math> \forall \, x, y \ldots </math>
- Per a tot x, i. ..
- <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. ..