Ўзбекистон республикаси вазирлар махкамаси ўзбекистон Олий ва Ўрта маҳсус таълим вазирлиги Ўзбекистон ҳАЛҚаро ислом академияси

III.
 
БИЛИМЛАРНИ ТАҚДИМ ЭТИШ МОДЕЛЛАРИ 
(МАНТИҚИЙ
 
МОДЕЛЛАР) 
 
3.1.
 
Мантиқ алгебраси ва фикрлар ҳисобини асосий қонун 
ва аксиомалари. 
 
Мантиқ алгебрада тўғри ва сохталилигни белгилаш учун И (ёки 1), Л (С 
ёки 0) рамзлар киритилади. Мантиқий боғламалар «Или/Ёки»- 

(дизъюнкция); 
«И/ВА» 
- 

(конъюнкция); 
«Импликация 
(

); 
«эквивалентность (

); «Не/Инкор»- « - «[»

»] рмзлар билан белгиланади. Бу 
рамзлар мантиқ алгебра функциялар синфини ташкил этади.
1. 
X
(Х эмас) Х инкори. У“
X
сохта (0га тенг) лиги Х тўғри (1га 
тенг)лигида бўлади ва аксинча” фикрни ифодалайди.
2. X
1

Х
2
/X
1
*X
2
(X
1
ва X
2
) – конъюнкция. 
У “Бу функция тўғри бўлиши фақат X
1
ва X
2
тўғрилигида бўлади” фикрни 
ифодалайди.. 
3. X
1

X
2
(Х
1
ёки Х
2
) – дизъюнкция. У “Бу функция тўғри бўлиши ёки X
1
ёки X
2
тўғрилигида бўлади” фикрни ифодалайди. 
4. Х
1

Х
2
– импликация (агар X
1
у холда X
2 
ёки
X
1
дан X
2
келиб чиқади). 
У “Бу функция фақат X
1 
тўғри X
2
эса сохта бўлганда сохта бўлади ” фикрни 
ифодалайди. 
5. Х
1

Х
2
(Х
1
~Х
2
) – эквиваленция (Х
1 
қиймати/маъноси/ахамияти Х
2
га 
тенг; Х
1
бўлиши агар ва фақат Х
2
бўлишида мумкин). У “Бу функция фақат X
1 
ва X
2
иккаласи ёки тўғри ёки сохта бўлганида тўғри бўлади”. 

---

27 
Таблица истинности / Тўгрилик жадвали 
Х
1
Х
2

Х
1
X
1

Х
2
X
1

X
2
Х
1

Х
2
Х
1

Х
2
0 
0 
1 
0 
0 
1 
1 
0 
1 
1 
0 
1 
1 
0 
1 
0 
0 
0 
1 
0 
0 
1 
1 
0 
1 
1 
1 
1 
Тўғри хулоса чиқариш (modus ponens – m.p.) қоидаси: 
А, А→В
B 
У “Агар А ва А→В тўғри бўлса, У холда В тўғри бўлади” фикрни 
ифодалайди. 
Иккилик ўзгарувчанларни қуллайдиган фикрлар ҳисобини предикат 
ҳисоби деб атайди. Предикат – бу мазкур иккилик ўзгарувчанлар ҳар қандай 
микдордаги аргументлар функциялари. 
Тескари хулоса чиқариш (modus tollens – m.t.) қоидаси: 
B, А→В . 
A 
У “Агар В ва А→В тўғри бўлса, У холда А тўғри бўлади” фикрни 
ифодалайди. 
3.2.
 
Мантиқий чиқариш тўғри фикрлаш занжирини (ТФЗ) 
механизми. 
ТФЗ механизми

“A
1

A
2
”, A
2

A
3
”, … “A
n-1

A
n
”

продукцион 
қоидаларни шарт ва оқибатларни қуллаш ҳамда
уларни шарт ва оқибатларини таҳлиллаш кетма-кетлиги йўли билан 
хулосаларни шакллантиришдан иборат. 
Шундай қилиб, ТФЗ механизми дедуктив хулоса чиқриш кетма-
кетлигини(
modus ponens 
қоидалардан фойдаланиб) амалга оширади: 
A
i-1

A
i
A
i-1
– тўғри 
A
i
– тўғри.