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

$\mathrm{\forall }x,y\dots$

Per a tot x, i. ..

• Quantificador existencial

$\mathrm{\exists }x,y\dots$

Hi ha almenys un x, i. ..

• Quantificador existencial únic

$\mathrm{\exists }!x,y\dots$

Hi ha exactament un x, i. ..

• Negació del quantificador existencial

$\nexists x,y\dots$

No hi ha cap x, i. ..