Kwantyfikatorami nazywamy symbole oznaczające zwroty „dla każdego” oraz „istnieje”, tj. znaczki i
.
Kwantyfikator ogólny
oznacza „dla każdego x”.
Zdanie ozn. dla każdego x zachodzi
, gdzie za formułę
możemy wstawić dowolne zdanie logiczne.
Przykład:
oznacza dla każdego x > 3. Możemy skrótowo napisać
.
Kwantyfikator egzystencjalny
oznacza „istnieje x”.
Zdanie ozn. istnieje x taki, że zachodzi
, gdzie za formułę
- podobnie jak dla kwantyfikatora ogólnego - możemy podstawić dowolne zdanie logiczne.
Przykład:
rozumieć należy jako istnieje x należący do zbioru
. Można zapisać w skrócie
.