Mantiqiy bog‘lovchilar. Ishdan

Mantiqiy bog‘lovchilar.


Ishdan maqsad: Berilgan formulalarning rostlik jadvalini to‘ldirish orqali ularning tavtologiya bo‘lishi yoki bo‘lmasligini aniqlang.
Masalaning qo‘yilishi: Tinglovchi variant bo‘yicha berilgan formulani
rostlik jadvalini to‘ldira olishilozim.


Amaliy mashg‘ulotda yechish uchun masalalar

1. 
   Quyidagi gaplar ichidan mulohazalarni ajrating va ularning rost yoki yolg‘on ekanligini aniqlang:
   1.1. Sirdaryo Orol dengiziga quyiladi.
   1.2. Siz qaysi oliygoxda o‘qiysiz?
   1.3. O‘zbekiston Mustaqilligining 10 yilligi muborak bo‘lsin.
   1.4. Har qanday son musbat.
   1.5. 0 har qanday haqiqiy songa bo‘linadi.
   1.6. 2, 3, 5 sonlari tub sonlar.
   1.7. Barcha insonlar yoshi 20 da.
   1.8. Gallaktikamizda shunday sayyora borki, unda hayot mavjud.
   1.9. 5 soni 25 va 70 sonlarining eng katta umumiy bo‘luvchisi.
   1.10. 3x³ – 5y  9.
   2. Quyidagi juftliklarning qaysisida mulohazalar bir birining inkori?
   2.1. 2  0, 2  0.
   2.2. 6  9, 6  9 .
   

3. Quyidagi mulohazalarning rastlik qiymatini aniqlang:
3.1. Agar 12 soni 6 ga bo‘linsa, u holda 12 soni 3 ga bo‘linadi.
3.2. Agar 11 soni 6 ga bo‘linsa, u holda 11 soni3 ga bo‘linadi.
3.3. Agar 15 soni 6 ga bo‘linsa, u holda 15 soni 3 ga bo‘linadi.
3.4. Agar 15 soni 3 ga bo‘linsa, u holda 15 soni 6 ga bo‘linadi.
3.5. 12 soni 6 ga bo‘linadi, faqat va faqat shu holdaki, agar 12 soni 3 ga bo‘linsa.
3.6. 15 soni 6 ga bo‘linadi, faqat va faqat shu holdaki, agar 15 soni 3 ga bo‘linsa
3. Quyidagi formulalarning chinlik jadvalini tuzing.
^1.(AB) C^.
2.((A B)C)^.
3.((AB)(CB))^.
4. ((AB)(BC)).
5.^{(((AB)A)(A(BA)))}.
6.((CA)((BC)A)).


Asosiy darsliklar va o‘quv qo‘llanmalar

1. 
   Kenneth H. Rosen, Discrete mathematics and its applications, 7-edition, The MeGraw-Hii Companies. 2012
   
2. 
   E. Mendelson. V vedeniya matematicheskuyu logiku. M.: Nauka 1984
   
3. 
   YAblonskiy S.V. V vedenie v diskretnuyu matematiku. M.: Nauka 1986.
   
4. 
   YUnusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari. T.,2008
   
5. 
   Lavrov I.A.,MaksimovaL.L.Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov.M.: Fiz.-mat.literatura,1995