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:
- <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. ..