Т и а ш ш назарияси ва амадиёти мухаммад хдкимов, Мухторали зокиров

Аристотелиинг таълимоти Форобий, Беруний, Умар Хайём, 
Алишер Навоий каби буюк олимлар томонидан давом эттирилди.
Немис файласуфи ва математиги Г.Лейбниц (1646-1716) 
биринчилардан булиб мантикий фикрлашнинг хисоб характерига 
эга эканлигини курсатди. Унинг фи крича, барча илмий тушунча ва 
мулохазаларнинг асосини мантикий элементлар ташкил килади. 
Бу мантикий элементларни муайян символлар билан белгилаш 
мумкин булади.
Лейбниц гоялари факат XIX асрдагина амалга ошди. Немис 
олими Г.Фрёге, инглиз олими Ж.Буль, рус олими П.Порецкий 
ишларида символик мантик асослари яратилди. Хусусан, Ж.Буль 
мантик операциялари учун куйидаги символларни киритди:
- предметларнинг борлигини белгилаш учун х, у, z харфларини;
- предметлар сифатини белгилаш учун катта лотин X, Y, Z 
хдрфларини;
- бир-бирига акслантирилган мулохазалар учун перпендикуляр 
« _L » белгисини;
23

---

- билдирилаётган мулохазаларда йукликни билдирувчи «О» 
белгисини;
- мулодазаларнинг мантикий кушилишини билдирувчи белги 
сифатида «q» дарфини.
Шунингдек, 1 -мулодазага 2-мулохаза мутлако зид келса, «-» 
белгиси куйилади.
Мулохазада одатий суз бирикувлари мавжуд булса, «и» белгиси 
куйилади.
Мулохазада ноодатий бирикувлар булса, «П» белгиси куйилади.
Математик мантикнинг вужудга келиши тилшуносликка тез 
таъсир утказди, чунки машина таржимаси дастурларини яратишда 
унинг методларидан фойдаланилади. Математик мантик белги, 
символлардан фойдаланади. Масалан:
- кушув (+) - «ёки»;
- нукта (.) - «ва»;
- ( белгиси - «...да жойлашган»;
- 
белгиси - «факат ва факат ушанда»;
- Е  дарфи - «мавжуд»;
- X белгиси - «жами» ва доказо.
Мазкур белгилар бугунги тилшуносликда дам кулланилади. 
Булар тилда илмий символика деб номланади. Илмий символикада 
дам маълум ахборотлар ифодаланади.
Хар кандай содда мулохдза А дарфи билан, агар у инкор булса, 
А 
белгиси билан ифодаланади. Шунингдек, чин мулодаза 1 (бир) 
раками билан, ёлгон мулодаза 0 (ноль) белгиси билан ифодаланган.
Агар, ёмгир ёгяпти ибораси дакикатга тугри келса, у чин 
мулодаза булади ва А=1 шаклида ёзишимиз мумкин.
Унда 
А=0 
шакли дам тугри келади.
Бундан куйидаги мулодазалар келиб чикади: агар ижобий 
мулодаза чин булса, инкор мулодаза ёлгон булади. Яъни ёмгир 
ёгяпти ибораси чин булса, ёмгир ёгмаяпти ибораси ёлгон булади.
Формула шаклида бу куйидаги куринишга эга булади: агар А=1 
булса, унда 
А=0 
дир.
Ва аксинча: агар А=0 булса, унда 
А=1.
Демак:
1) 
А ёки 
А=1 
(А+ 
А=1);
24

---

2) А ва А=0 (А. А=0),
Мазкур формулаларни куйидагича тушуниш мумкин:
1) икки мулохазадан (ёмгир ёгяпти ва гмгир ёгмаяпти) бири 
чиндир;
2) икки мулохаза бир вактнинг узида чин: булиши мумкин эмас, 
чунки улар бир-бирига зиддир.
Формула шаклида хар кандай мураккаб мулохазани хам бериш 
мумкин. Масалан: Агар билет топа олсам ёки дустларим мени 
таклиф цилишса ва шу купи имтщон булмаса, мен кинога бораман. 
Мазкур мулохаза кисмларини харфлар оркали ифодалаймиз:
М - м е н кинога бораман',
В - агар билет топа олсам;
D — агар мени дустларим таклиф цилишса;
I - агар имтщон булмаса.
Мулохаза формуласи куйидаги куринишга эга булади:
М = (B+D). I.
Жон Буль содда арифметик амалларга асосланиб,
0 X 0 = 0 0 + 0 = 0
0 X 0 = 0 0 + 1 = 1
1 X 0 = 0 1 + 0 = 1
1 X 1 = 1
мантик коидаларини тартибга келтиради: 
чин + ёлгон = чин, чунки 1 + 0 = 1; 
ёлгон + чин = чин, чунки 0 + 1 = 1; 
ёлгон + ёлгон = ёлгон, чунки 0 + 0 = 0; 
чин + чин = чин, чунки 1 + 1 =2 .
Мазкур иш асосида машина таржимасига оид дастурлар яратила 
бошланди.
25

---