D. B. O‘rinbayeva

 
GLOSARRIY 
Kod
 
– axborotni yozub olish vositasi.
Matn
– muayyan axborotni berish, uzatish jarayonidagi belgilarning izchilligi, 
ketma-ketligi.
Kanal
 
– axborot beriluvchi, uzatiluvchi muhit, sharoit. 
Agar A→B (A→B) isbotlanuvchi formula bo‘lsa, u holda A→B ham 
isbotlanuvchi formula bo‘lishini 
ikki martalik inkorni tushirish qoidasi
deb ataymiz.
 
Mavzu bo‘yicha tayanch tushunchalar: 
mulohazalar hisobi, mulohazalar 
hisobi formulasi, mulohazalar algebrasi, murakkab xulosa qoidasi, o‘rniga qo‘yish 

---

30 
qoidasi va sillogizmlar qoidasi, konterpozitsiya qoidasi
,
 
ikki 
martalik 
inkorni 
tushirish qoidasi,
 
tavtologiya, umumqiymatli formula.
 
 
Muhokama uchun savollar. 
1. Mulohazalar hisobida murakkab xulosa qoidasi. 
2. Mulohazalar hisobida sillogizm qoidasi. 
3. Mulohazalar hisobida kontropozitsiya qoidasi. 
4. Diz’yunksiya kiritish qoidasi. 
5. Kon’yunksiya kiritish qoidasi.
Topshiriqlar. 
1-mashq. Quyidagi gaplarni tahlil qiling. 
1.
Inson qo‘li bilan yaratilgan hech bir narsa mukammal emas (“Haqiqat 
manzaralari”). 2.Mulohaza qilib qarasam, men qayerda va nima ish bilan mashg‘ul 
bo‘lmay, hamisha Ollohning izmida va unga ibodatda ekanman (U.Hamdam). 3. 
Agar mulla Norqo‘zi o‘n yil yuziga kulib qaramasa, qopdan kuylar, bo‘yradan lozim 
kiyishga majbur qilsa ham pinagini buzmaydi (A.Qahhor). 4. Agar biron voqea-
hodisa yuz bermasa, endi uning bu yerda turmasligi aniq (“Bozor dunyo”).