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

бажарилувчи 
ёки 
нейтрал
формулалар, 
деб аталиб, уларни ташкил этувчи пропозицио­
нал ўзгарувчиларнинг қандай қийматлар бирлашмасидан иборат 
бўлишига боетиқ ҳолда чин ёки хато бўлиши мумкин. Куйидаги 
формулалар унга мисол бўлади:
(pAq)—» г; (pvq)Al q (Бу формулада] - инкор белгиси) 
Иккинчиси 
айнан чин формулалар 
бўлиб, улар тарки­
бидаги пропозиционал ўзгарувчиларнинг қандай қиймат- 
ларга эга бўлишидан қатъи назар, доимо чин бўлади. 
Масалан, куйидаги ифодалар айнан чин формулалардир:
р-> (pvr) 
1 р-> (Т—>q)
Айнан чин формулалар мантик конунларини ифода 
этади.Трилемманинг бошқа турларига мустакил равишда 
мисоллар келтириш тавсия этилади. Уларни қидириб топиш 
мулоҳазалар мантиғининг асосий вазифаларидан бирини 
ташкил килади. Бирорта формуланинг айнан чинлигини 
исботлаш юритиладиган муҳокамани тўғри деб ҳисоблаш 
учун етарли асос бўла олади, чунки у формула мазкур 
муҳокаманинг формаллашган ифодасидир.
Учинчиси 
айнан хато формулалар 
хисобланиб, улар 
таркибидаги пропозиционал ўзгарувчилар чин кийматла- 
рининг ҳар кандай тўпламида факат хато бўлади. Куйидаги 
ифодалар айнан хато формулаларга мисолдир: 
qAl q; I((pAq) -> (qAp))
Улар айнан чин формул аларнинг инкоридан иборат бўлиб, 
муҳокамадаги мантикдй зиддиятларни ифода киладилар.
Мулоҳазалар мантиғида ихтиёрий формуланинг мавжуд 
турлардан кайси бирига тегишли эканлигини унинг ман­
тикий кийматини (чин ёки хатолигини) топиш оркали 
аниклаш м ум кин. Ф орм улалар кий м атини аниклаш

---

йўлларидан бири жадвал ёки матрица усулидир. Унинг 
моҳиятини формула кийматини (чин ёки хатолигини) унинг 
таркибидаги пропозиционал ўзгарувчилар қиймати ва 
уларни ўзаро боғлаб турадиган мантикий функторларнинг 
(конъюнкция, дизъюнкция, импликация, эквиваленция, 
инкор) таблица ёрдамида аникланган семантик маънолари 
билан боғлиқ ҳолда топиш ташкил этади.
Бу мулоҳазалар мантигининг жадвал усули шаклида, 
натурал (табиий) хулоса чиқариш тизими (ёки аксиоматик 
тизим) сифатида курилиши мумкинлигини кўрсатади.
Жадвал усулида куриш учун, авваламбор, формулалар 
ўртасидаги мантикий муносабатларни, хусусан,