Amaliy ish № Bilimlarni namoyish etishning mantiqiy modeli

Amaliy ish № 1. Bilimlarni namoyish etishning mantiqiy modeli.

Ishdan maqsad: Mantiqiy model amallari Predikatlar hisobini oʻrgatish.

Qisqacha nazariy ma’lumotlar

Predikatlar mantiqi an’anaviy formal mantiq singari elementar mulohazani subyekt va predikat qismlarga bo‘ladi.
Subyekt – bu mulohazada biror narsa haqida nimadir tasdiqlaydi; predikat – bu subyektni tasdiqlash.
Masalan, «5 – tub son» mulohazada «5» – subyekt, «tub son» – predikat. Bu mulohazada «5» «tub son bo‘lish» xususiyatiga ega ekanligi tasdiqlanadi. Agar keltirilgan mulohazada ma’lum 5 sonini natural sonlar to‘plamidagi o‘zgaruvchi bilan almashtirsak, u holda « – tub son» ko‘rinishidagi mulohaza formasiga (shakliga) ega bo‘lamiz. o‘zgaruvchining ba’zi qiymatlari (masalan, =13, =3, =19) uchun bu forma chin mulohazalar va o‘zgaruvchining boshqa qiymatlari (masalan, =10, =20) uchun bu forma yolg‘on mulohazalar beradi.
Ravshanki, bu forma bir ( ) argumentli funksiyani aniqlaydi va bu funksiyaning aniqlanish sohasi natural sonlar to‘plami ( ) hamda qiymatlar sohasi to‘plam bo‘ladi.
1- ta’rif. to‘plamda aniqlangan va to‘plamdan qiymat qabul qiluvchi bir argumentli funksiya bir joyli (bir o‘rinli) predikat deb ataladi.
to‘plamni predikatning aniqlanish sohasi deb aytamiz.
predikat chin qiymat qabul qiluvchi hamma elementlar to‘plamiga predikatning chinlik to‘plami deb ataladi, ya’ni predikatning chinlik to‘plami to‘plamdir.

1. 
   Laboratoriya uchun topshiriqlar.
   

Quyidagi formulaning chinlik to’plamini tuzing:

Ushbu formula quyidagi predikatlar asosida berilgan:

1. 
   
   
2. 
   
   

3. 
   
   
4. 
   
   
5. 
   
   
6. 
   
   
7. 
   
   
8. 
   
   
9. 
   
   
10. 
    
    
11. 
    
    
12. 
    
    
13. 
    
    

14. 
    
    

15. 
    
    
16. 
    
    
17. 
    
    

18. 
    
    
19. 
    
    
20. 
    
    
21. 
    
    
22. 
    
    
23. 
    
    

24. 
    
    
25. 
    
    

26. 
    
    
27. 
    
    

28. 
    
    
29. 
    
    
30.