Iv-bob. Predikatlar mantiqi

Muammoli masala va topshiriqlar:


1. to’plamda ikkita : « - tub son» va : « - toq son» predikatlar berilgan. Bu predikatlarning chinlik jadvalini tuzing.
2. to’plamda quyidagi predikatlar berilgan: : « 5 ga bo’linmaydi»; : « - juft son»; : « - tub son»; : « 3 ga karrali».
Quyidagi predikatlarning chinlik to’plamini toping:
1) ; 2) ; 3) ;
4) ; 5) ; 6) ;
7) ; 8) ;
9) ; 10) ; 11) ;
12) ; 13) ; 14) ;
15) ; 16) ;
17) ; 18) ;
19) ; 20) .
3. to’plamda : va : predikatlar berilgan bo’lsin. Quyidagi mulohazalarning qaysi birlari chin va qaysi birlari yolg’on ekanligini aniqlang:
1) ; 2) ; 3) ; 4) .
4. Quyidagi predikatlarning qaysi birlari aynan chin qiymatga ega b¢ladi:
1) , 2) , 3) ,
4) , 5)
Mustaqil ishlash uchun savollar:
1.Predikat tushunchasi. Predikatlar ustida man-
tiqiy amallar.
2.Umumiylik va mavjudlik kvantorlari.
3.Bir joyli va ko’p joyli predikatlar.
4.Predikatning chinlik to’plami.
5.Aynan chin va aynan yolg’on predikatlar.



3-§. Predikatlar mantiqining formulasi. Predikatlar mantiqi formulasining qiymati. Predikatlar mantiqining tengkuchli formulalari
Predikatlar mantiqining simvollari. Formulaning ta’rifi. Formulaning qiymati tushunchasi. Tengkuchli formulalar. Asosiy tengkuchli formulalar. Tengkuchli formulalarning isbotlari.

Predikatlar mantiqida quyidagi simvollardan foydalanamiz:

1. simvollar – 1 (chin) va 0 (yolg’on) qiymatlar qabul qiluvchi o’zgaruvchi mulohazalar.
2. - qandaydir to’plamdan qiymat oluvchi predmet o’zgaruvchilar; - predmet konstantalar, ya’ni predmet o’zgaruvchilarning qiymatlari.
3. - bir joyli o’zgaruvchi predikatlar; , - joyli o’zgaruvchi predikatlar.
4. - o’zgarmas predikatlar simvoli.
5. - mantiqiy amallar simvollari.
6. - kvantorli amallar simvollari.
7.( , ) (qavs, vergul) – qo’shimcha simvollar.