Şunu aradınız:: quantifiers (İngilizce - Yunanca)

# quantifiers.
# Ποσοδείκτες.

# universal quantifiers.
# Υπαρξιακοί ποσοδείκτες.

thus there are many kinds of quantifiers, two for each sort of variables.
Για αυτό υπάρχουν πολλών ειδών ποσοδείκτες, δύο για κάθε είδος μεταβλητής.

it also determines a domain of discourse that specifies the range of the quantifiers.
Επίσης, καθορίζει ένα πεδίο του λόγου που καθορίζει το εύρος των ποσοδεικτών.

existential quantifier
υπαρξικός ποσοτικοποιητής