Iv-bob. Predikatlar mantiqi

Muammoli masala va topshiriqlar:


1. Quyidagi ifodalarning qaysi biri predikatlar mantiqining formulasi bo’lishini aniqlang. Har bir formuladagi erkin va bog’langan o’zgaruvchilarni ko’rsating.
1)
2)
3)
4)
5)


2. predikat to’plamda aniqlangan va : « » bo’lsin.
1) Quyida berilgan predikatlarning qaysisi aynan chin va qaysisi aynan yolg’on ekanligini aniqlang:
a) ; b) ; v) ; g) .
2) Quyidagi mulohazalarning qaysi birlari chin va qaysi birlari yolg’on ekanligini aniqlang:
a) ; b) ;
v) ; g) ;
d) ; ye) ;
j) ; z) .
3. Quyidagi tengkuchliliklarni to’g’ri ekanligini isbot qiling:
1) ;
2) ;
3) ;
4) ;
5) ;
6) ;
7) ;
8) ;
9) ;
10) ;
11) .


4. va ixtiyoriy predikatlar bo’lsin. formulaga quyida berilgan formulalar-ning qaysi biri teng kuchli bo’ladi?
1) ; 2) ; 3) ;
4) ; 5) ; 6) ;
7) .


5. Quyida keltirilgan formulalarning qaysi birlari umumqiymatli?
1) ;
2) ;
3) ;
4) ;
5) ;
6) ;
7) ;
8) ;
9) ;
10) ;
11) ;
12) ;
13) ;
14) ;
15) ;
16) ;
17) .