Bilimlarni namoyish etishning mantiqiy modeli

Bilimlarni namoyish etishning mantiqiy modeli.

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. 
    
    

1. 
   Namunaviy misol va masala hamda uning yechimi.
   

1- misol. natural sonlar to‘plamida predikat berilgan bo‘lsin: « – tub son». Kvantorlardan foydalanib ushbu predikatdan quyidagi mulohazalarni hosil qilish mumkin: – «Hamma natural sonlar tub sonlar bo‘ladi»; – «Shunday natural son mavjudki, u tub son bo‘ladi». Ravshanki, birinchi mulohaza yolg‘on va ikkinchi mulohaza chindir. ■
2- misol. To‘g‘ri chiziqlar to‘plamida aniqlangan : « » predikatni ko‘raylik. Agar predikatga nisbatan kvantorli amallarni tadbiq etsak, u holda quyidagi sakkizta mulohazaga ega bo‘lamiz:
1. – «Har qanday to‘g‘ri chiziq har qanday to‘g‘ri chiziqqa perpendikulyar».
2. – «Shunday to‘g‘ri chiziq mavjudki, u har qanday to‘g‘ri chiziqqa perpendikulyar».
3. – «Har qanday to‘g‘ri chiziq uchun shunday to‘g‘ri chiziq mavjudki, to‘g‘ri chizig‘i to‘g‘ri chiziqqa perpendikulyar».
4. – «Shunday to‘g‘ri chiziq va shunday to‘g‘ri chiziq mavjudki, to‘g‘ri chiziq to‘g‘ri chiziqqa perpendikulyar».
5. – «Har qanday to‘g‘ri chiziq har qanday to‘g‘ri chiziqqga perpendikulyar».
6. – «Har qanday to‘g‘ri chiziq uchun shunday to‘g‘ri chiziq mavjudki, to‘g‘ri chiziq to‘g‘ri chiziqqga perpendikulyar».
7. – «Shunday to‘g‘ri chiziq va shunday to‘g‘ri chiziq mavjudki, to‘g‘ri chiziq to‘g‘ri chiziqqa perpendikulyar».
8. – «Shunday to‘g‘ri chiziq mavjudki, u har qanday to‘g‘ri
chiziqqa perpendikulyar». ■
3- misol. formulani deyarli normal shaklga keltiramiz.

.
Demak,
. ■
4- misol. formulani normal shaklga keltirish talab etilsin. formulada teng kuchli almashtirishlarni o‘tkazib, uni normal shaklga keltiramiz:

. ■