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:
xulosa:
Bu presitatsiyadan maqsad bull funksiyalar va bull ayniyatlar, formulalarning teng kuchliligini, predikatlar va umumiylik mavjudlik kvantorlari haqida bilimlarimizni mustahkamlab oldik.
Foydalanilgan adabiyotlar
Xotam To’rayev. “Matematik mantiq va diskret matematika”. (2003)
Aseyev G.G., Abramov O.M. “Diskret matematika”
Kolmogorov A.N., Fomin S.V. “Elementlar territoriyasi funksiyasi va funksiyonalligi”