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