Alisher navoiy nomidagi samarqand davlat universiteti

Trop 
turlari 
Qo‘llanish 
maqsadi 
Matndagi 
ma’nosi 
O‘z 
ma’nosi 
Jargon 
keltirilgan 
matn 
Olingan 
manba, 
sahifasi 
izoh 
 
 Eng ma’qul talqinni tanlang. 
1. Agar A→ V bo‘lsa va V→S bo‘lsa, u holda A→S bo‘ladi. Bu …. deb 
yuritiladi. 
a) sillogizm qoidasi 
b) kontrpozisiya qoidasi 
c) Shiffer qoidasi 
d) aksiomalar qoidasi 
2. Agar A→ V bo‘lsa, isbotlanuvchi formula bo‘lsa, u holda B→A ham 
isbotlanuvchi formula bo‘ladi. Bu …. 
a) sillogizm qoidasi 
b) kontrpozisiya qoidasi 
c) Shiffer qoidasi 
d) aksiomalar qoidasi 
3. Mulohazalar hisobidagi har bir isbotlanuvchi formula mulohazalar 
algebrasida ..................formula bo‘ladi. 
a) aynan chin (tavtologiya, umumqiymatli) 
b) aynan yolg‘on 
c) diz’yunksiya 
d) kon’yuksiya 

---

31 
4. a, b, s, x, y, z... shunday mulohazalar ham borki, ular hamma vaqt mumkin 
bo‘lgan holatlarda chin yoki yolg‘on qiymat qabul qiladilar. Bunday mulohazalar 
………………..deb yuritiladi. 
a) chin (absolyut) va (yolg‘on) mulohazalar 
b) tavtologiya, umumqiymatli 
c) diz’yunksiya 
d) kon’yuksiya 
5. 
Sochi uzun qizning sochi qirqilgach, u kalta bo‘lib qoladi gapining 
mulohazasi keltirilgan qatorni toping. 
a) o‘zgaruvchi mulohazalar 
b) chin mulohazalar 
c) yolg‘on mulohazalar 
d) tavtologiya 
6. Agar A→B (A→B) isbotlanuvchi formula bo‘lsa, u holda A→B ham 
isbotlanuvchi formula bo‘lishini ...................... qoidasi deb ataymiz.
a) ikki martalik inkorni tushirish 
b) sillogizm qoidasi 
c) kontrpozisiya qoidasi 
d) Shiffer qoidasi 
7. Kod deb nimaga aytiladi 
a) axborotni yozub olish vositasi 
b) muayyan axborotni berish, uzatish jarayonidagi belgilarning izchilligi, ketma-
ketligi 
c) axborot beriluvchi, uzatiluvchi muhit, sharoit 
d) so‘zning material qismi va formal qismi
 
Adabiyotlar: 
1. Новиков П.С. Элементы математической логики. – М.: Наука. 1973. 
2. Ёқубов Т., Каллибеков С. Математик мантиқ элементлари. – Тошкент: 
Ўқитувчи. 1996. – 272 б. 
3. Йўлдошев Б. Математик ва компютер лингвистикаси. –Самарқанд. 2007. 
4. Йўлдошев Б. Компютер лингвистикаси. –Самарқанд. 2009. 
5. Эшқобил Шукур. Она тилимиз “ҳужайралари” ёхуд сўз математикаси // 
Ўзбекистон адабиёти ва санъати, 2006 йил 24 феврал, 8 (3837)-сон. 
6. Тўраев Ҳ. Математик мантиқ ва дискрет математика. –Тошкент: 
Ўқитувчи, 2003.-416 б. 
7. Hamdam U. Muvozanat. – Toshkent, 2007. 54-bet. 
8. Haqiqat manzaralari. – Toshkent: Yangi asr avlodi, 2010. 96-bet. 
9. Qahhor A. Mayiz yemagan xotin. – Toshkent: Anor, 2005. 88-bet. 
10. 
Bozor dunyo. – Toshkent: Sharq, 2006, 206-bet.