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

мантикан
келиб чикиш 
муносабатини аниклаш зарур. Уни куйида­
гича ифодаласа бўлади: Агар А^... Ап мулохазаларнинг 
(асосларнинг) хар бири чин бўлганда, В мулохаза (хулоса)
ҳам чин бўладиган бўлса, демак, А .... . Ап асослардан В
мантикан келиб чиқади. Бу А ,...,А В кўринишидаги 
боғланишни импликация деб ҳисобла(э, ундаги мантикан 
келиб чиқиш белгисини (л) импликация белгиси (—>) билан 
алм аш тирса бўлади. М асалан, юкоридаги иф одани 
А 
а
А ,
а
... 
а
А
п
—>В кўринишида ёзиш мумкин.
Жадвал куришни соф шартли силлогизм формуласи, 
яъни (р—»q)A(q—>г)—Кр—»г) ёрдамида кўрсатиш мумкин. 
Формуланинг таркиби асосида жадвалдаги каторлар ва 
устунлар микдорини аниклаймиз. Қаторлар сони 2" фор­
муласи бўйича аникланади. Бунда n - ўзгарувчиларни 
ифода этади. Бизда ўзгарувчилар сони Зта (р, q, г), демак, 
8та қатор бўлади. Устунлар сони эса ўзгарувчилар ва 
м антикий боғламалар йиғиндисидан иборат. Демак, 
устунлар сони ҳам 8та (3+5). Юкоридаги формулани 8та 
кичик формулаларга ажратамиз. Биринчи учта устун р, q, 
г ларнинг турли хил мантикий кийматларини (чин- 
хатолигини), кейинги иккитаси-конъюнкциялар аъзоларини 
(р —>q ва q —
>г),
олтинчи устун - импликация асосини 
((р —»q)A(q—»г)), еттинчи устун - хулосани (р —> г), 
саккизинчиси - формулани тўлалигича ифодалайди. Учта 
ўзгарувчиларнинг м антикий қийматлари тўпламлари 
вариантлари эса куйидаги изчилликда бўлади: а) барчаси 
чин қийматлар - бир катор; б) иккитаси чин, биттаси 
хато кийматлар - уч катор; в) иккитаси хато, биттаси чин 
кийматлар - уч катор; г) барчаси хато кийматлар - бир 
катор. Жадвалнинг умумий кўриниши куйидагича:

---

р
q
г
p->q