Mavjudlik kvantori «mavjudki», «topiladiki» so‘zlarini bildiradi.
Umumiylik kvantori«har qanday», «ixtiyoriy», «barcha» so‘zlarini ifodalaydi.
«o‘rinli bo‘ladi», «bajariladi» so‘zlarini anglatadi.
«moslik» ni bildiradi.
Mantiqiy belgilar yordamida yozilgan tasdiqlarni tushunish va o‘qishni osonlashtirish uchun belgilarning har biriga tegishli bo‘lganlari alohida qavslarga olinadi. Masalan, yozuv « ixtiyoriy son uchun shunday son topiladiki, ning ga teng bo‘lmagan va tengsizlikni qanoatlantiruvchi barcha qiymatlarida
«mavjudki», «topiladiki» so‘zlarini bildiradi.
«har qanday», «ixtiyoriy», «barcha» so‘zlarini ifodalaydi.
«o‘rinli bo‘ladi», «bajariladi» so‘zlarini anglatadi.
«moslik» ni bildiradi.
yozuv « 
ning 
ga teng bo‘lmagan va 
tengsizlikni qanoatlantiruvchi 
