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

2.
а
- конъю нкция белгиси; у ўзбек тилидаги «ва», 
«ҳам», «ҳамда» каби боғловчиларга тўғри келади. Масалан, 
«Маъруза тугади (р) ва унинг мухокамаси бошланди (q)», 
деган хукмни pAq шаклида ифода кдлиш мумкин.
3.v - дизюнкция белгиси; у ўзбек тилида «ё», «ёки», 
«ёхуд» каби сўзларга тўғри келади. М асалан, «Э лектр 
токи ё ўзгарувчан (р), ё ўзгармас бўлади (q)», деган хукм 
p v q шаклида ёзилади.
4.—> - импликация белгиси; унга ўзбек тилида «Агар... 
бўлса, ... бўлади», деган ифода тўғри келади. М асалан, 
«Агар талаба мустақил ишласа (р), ўқув материалларини 
яхши ўзлаштиради (q)» деган хукм р—> q шаклида ёзилади.
эквивалентлик белшси; унга ўзбек тилида «Фақат 
ва фақат шундаки...» деган ибора тўғри келади. Масалан, 
«Фақат жуфт сонларгина (р) иккига қолдиқсиз бўлинади 
(q)», деган хукм р <-*q тарзида ёзилади.
6.7 — инкор кдлиш белгиси. Масалан, «Ахмедов Ан­
вар талабадир» (р) деган хукм инкор кдлинганда «Ахмедов 
Анвар талаба эмас» ртҳукмига айланади, яъни р ўзининг 
инкори бўлган т-р га ўзгаради.
П р е д и к а т л а р м а н т и ғ и
- мухокама жараёнини хукм- 
ларнинг ички тузилишини хисобга олган ҳолда ўрганувчи 
формаллашган мантикдй тизимдир. Предикатлар мантиғи 
алифбоси мулохазалар мантиги алифбосига янги символлар 
қўшиш орқали ҳосил қилинади.1 Улар куйидагилар:
1.a, в, с,..., - предмет номларини ифодаловчи символлар, 
улар константлар деб аталади.
2.x, у, 
Z ,..., 
- предметларнинг умумий номларини бил­
дирувчи символлар.
1 Бу ерда кўрсатилмаган символлар ишлатилганда уларнинг киймати 
тушунтирилади.

---

3.Р1, Q1, 
R 1... 
, 
Pn, 
Q", 
Rn 
- предикаторлар учун сим­
воллар; бунда 1- бир ўринли предикаторни, n-n ўринли