Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги м. Шарипов, Д. Файзихўжаева

q ->г
(p-»q)A 
(q—>г)
р->г (p-»q)A(q-»r)->- 
(р->г)
ч
ч
ч
ч
ч
ч
ч
ч
ч
ч
X
ч
X
X
X
ч
ч
X
ч
X
ч
X
ч
ч
X
ч
ч
ч
ч
ч
ч
ч
ч
X
X
X
ч
X
X
ч
X
ч
X
ч
X
X
ч
ч
X
X
ч
ч
ч
ч
ч
ч
X
X
X
ч
ч
ч
ч
ч
Жадвал усули бўйича формулаларнинг чинлик қийматини 
аниқлашнинг нокулай томони шундаки, ўзгарувчилар сони 
ортгани сари, у жуда катга кўламга эга бўла боради. Бу хол 
келтириб чиқарадиган кийинчиликлардан формулаларни нор­
мал шаклга келтириш оркали кутулиш мумкин. Формула 
нормал шаклга эга деб шу ҳолда ҳисобланадики, качон 
ундан тенг кучли алмаштиришлар йўли билан эквиваленция, 
импликация, кучли дизъюнкция, кўш инкорлар чикариб таш- 
ланса, инкор белгиси факат ўзгарувчилардагина колса.
Масалан, ((1 (pAq) v (рлг)) 
a
(pvl q) формуласи нормал 
шаклда, Lu(p®q) формуласи ундай шаклда эмас, деб хисобланади.
Натурал хулоса чикариш тизими (НХЧТ) шаклидаги 
мулоҳазалар мантиғи табиий мухокама юритишга якдн 
турган хулоса чикариш коидалари асосида курилади. 
Хулоса чикариш деганда формулаларнинг: 1) асослардан;
2) теоремалардан - аввал исбот килинган мулохазалардан;
3) хулосалардан - ўзидан олдин келган мулохазалардан 
хулоса чикариш коидалари ёрдамида келтириб чиқарилган 
ифодалардан ташкил топган изчиллиги тушунилади. Хулоса 
чиқариш коидалари асослардан хулосага м антикан 
утиш нинг кабул килинган усуллари бўлиб, уларнинг 
негизида м антикий боғламалар хусусиятлари ётади. 
НХЧТда мантикий боғламаларни (v —»<->1 у ) киритиш ва 
чикариб таш лаш билан боглик асосий бевосита ва 
билвосита коидалар сифатида куйидагилар кабул килинган:
Асосий бевосита коидалар:
1.Конъюнкцияни киритиш (КК) коидаси:

---

А
В
А 
а
В
2.Конъюнкцияни чиқариш (КЧ) қоидаси: 
А