Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

Mustaqil ishlash uchun savollar

1. 
   Formula tushunchasiga intiutiv ravishda qanday ta’rif beriladi?
   
2. 
   Formula tushunchasiga matematik induksiya usuliga tayangan holda qat’iy ta’rif qanday beriladi?
   
3. 
   Elementar formula deganda nimani tushunasiz?
   
4. 
   Qavslarsiz ketma-ket yozilgan mantiqiy amallarni bajarish imtiyozlarini bilasizmi?
   
5. 
   Qavslar haqidagi kelishuvga ko‘ra qanday qoidalarga amal qilinadi?
   
6. 
   Teng kuchli formulalar deganda nimani tushunasiz?
   
7. 
   Qanday holda formulalar teng kuchlimas bo‘lishadi?
   
8. 
   Odatda berilgan formulalarning teng kuchli yoki teng kuchlimas bo‘lishini aniqlashda qaysi usuldan foydalaniladi?
   
9. 
   Mantiqiy ifoda nima?Ekvivalensiya bilan teng kuchlilik orasida qanday o‘xshashlik va farqlarni bilasiz?
   
10. 
    Tavtologiya nima?
    
11. 
    Berilgan formula tavtologiya bo‘lishi yoki bo‘lmasligi, odatda, qanday aniqlanadi?
    
12. 
    Qanday muammo mantiq algebrasida yechilish muammosi deb yuritiladi?
    
13. 
    Yechilish muammosini hal qilish usullari nima deb ataladi?
    
14. 
    Yechish protsedurasi sifatida chinlik jadvalini qo‘llashga asoslangan usulning asosiy kamchiligi nimada?
    
15. 
    Aynan yolg‘on formula deganda nimani tushunasiz?
    
16. 
    Tavtologiya bilan aynan yolg‘on formula orasida qanday bog‘lanish bor?
    
17. 
    Qanday holda biror formula boshqa formulaning mantiqiy xulosasi deb ataladi?
    
18. 
    Qanday formulalar mantiqiy ekvivalent formulalar deb ataladi?
    
19. 
    Agar va formulalarning har biri tavtologiya bo‘lsa, u holda formula haqida mima deyish mumkin?
    
20. 
    Agar formula tarkibiga bir yoki ko‘p marta kirgan formula o‘rniga unga teng kuchli formulani qo‘yish natijasida formula hosil qilinsa, u holda formula haqida mima deyish mumkin?
    
21. 
    Bajariluvchi formula deganda nimani tushunasiz?
    
22. 
    Agar implikatsiya ch qiymat, ekvivalensiya esa yo qabul qilishi ma’lum bo‘lsa, u holda implikatsiyaning qiymati haqida mima deyish mumkin?
    
23. 
    Agar ekvivalensiya ch qiymat qabul qilishi ma’lum bo‘lsa, u holda va ekvivalensiyalarning qiymatlari haqida mima deyish mumkin?
    
24. 
    Tavtologiya nima?
    
25. 
    Berilgan formula tavtologiya bo‘lishi yoki bo‘lmasligi, odatda, qanday aniqlanadi?
    
26. 
    Qanday muammo mantiq algebrasida yechilish muammosi deb yuritiladi?
    
27. 
    Yechilish muammosini hal qilish usullari nima deb ataladi?
    
28. 
    Yechish protsedurasi sifatida chinlik jadvalini qo‘llashga asoslangan usulning asosiy kamchiligi nimada?
    
29. 
    Aynan yolg‘on formula deganda nimani tushunasiz?
    
30. 
    Tavtologiya bilan aynan yolg‘on formula orasida qanday bog‘lanish bor?
    
31. 
    Qanday holda biror formula boshqa formulaning mantiqiy xulosasi deb ataladi?
    
32. 
    Qanday formulalar mantiqiy ekvivalent formulalar deb ataladi?
    
33. 
    Agar va formulalarning har biri tavtologiya bo‘lsa, u holda formula haqida mima deyish mumkin?
    
34. 
    Agar formula tarkibiga bir yoki ko‘p marta kirgan formula o‘rniga unga teng kuchli formulani qo‘yish natijasida formula hosil qilinsa, u holda formula haqida mima deyish mumkin?
    
35. 
    Bajariluvchi formula deganda nimani tushunasiz?
    
36. 
    Agar implikatsiya ch qiymat, ekvivalensiya esa yo qabul qilishi ma’lum bo‘lsa, u holda implikatsiyaning qiymati haqida mima deyish mumkin?