Mavzu: predikatlar mantiqi formulasining normal shakli. Bajaruvchi va umumqiymatli formulalar

Elementar formulalar. Kvantorlar. Predikatlarning rostlik sohasi.
Predikatlar mantiqida quyidagi simvollardan foydalanamiz:

1. a, b, p, q, ... simvollar-1(rost) va 0 (yolg’on) qiymatlar qabul qiluvchi o’zgaruvchi mulohazalar.

2. x, y, z, ..., – biror M to’plamdan qiymat oluvchi predmet o’zgaruvchilar; -predmet konstantalar, ya’ni predmet o’zgaruvchilarning qqiymatlari.

3. - bir o’rinli (unar) predikatlar; -n o’rinli (n-ar) predikatlar simvoli.

4. - bir o’rinli (unar) predikatlar; -n o’rinli (n-ar) o’zgarmas predikatlar simvoli.

5. - mantiqiy amallar simvollari.

6. -umumiylik va mavjudlik kvantorlari simvollari.

7. ( , ) – qavs va vergul qo’shimcha simvol.