Agar P(x) predikat bo’lsa, u holda (E(teskarisi)x)P(x) – yozuv N to’plamda shunday x element topiladiki, uning uchun P(x) mulohaza o’rinli degan ma`noni bildiradi. Bu mulohaza rost bo’ladi, qachonki x ning kamida bitta qiymatida P(x) o’rinli bo’lsa. E(teskarisi) - belgi mavjudlik kvantori deyiladi.
Agar P(x) predikat bo’lsa, u holda (E(teskarisi)x)P(x) – yozuv N to’plamda shunday x element topiladiki, uning uchun P(x) mulohaza o’rinli degan ma`noni bildiradi. Bu mulohaza rost bo’ladi, qachonki x ning kamida bitta qiymatida P(x) o’rinli bo’lsa. E(teskarisi) - belgi mavjudlik kvantori deyiladi.
Umumiylik va mavjudlik kvantorlari uchun quyidagi xossalar o’rinli:
Umumiylik va mavjudlik kvantorlari uchun quyidagi xossalar o’rinli: