Мулохазалар мантиги хукмларининг ички тузилишини урганишдан четлашиб, уларнинг узаро мантикий алокасини хисобга олган холда мухокама этиш жараёнини тахлил киладиган формаллашган мантикий тизимдир. Мулохаза лар мантиги тили алифбоси ифодалар таърифларини ва уларнинг талкин кдлинишини уз ичига олади. Хусусан, бу тил алифбоси куйидагилардан ташкил топган:
1.p, q, г - пропозиционал узгарувчилар, яъни хукмлар учун символлар.
2 .д - конъюнкция белгиси; у узбек тилидаги «ва»,
«хам», «хамда» каби бокгювчиларга тугри келади. Масалан,
«Маъруза тугади (р) ва унинг мухокамаси бошланди (q)», деган хукмни pAq шаклида ифода килиш мумкин.
3.v - дизюнкция белгиси; у узбек тилида «ё», «ёки»,
«ёхуд» каби сузларга тугри келади. М асалан, «Электр токи ё узгарувчан (р), ё узгармас булади (q)», деган хукм pvq шаклида ёзилади.
4 .—> - импликация белгиси; унга узбек тилида «Агар... булса, ... булади», деган ифода тугри келади. Масалан,
«Агар талаба мустакдл ишласа (р), укув материалларини яхши узлаштиради (q)» деган хукм р—» q шаклида ёзилади. 5 .« -* - эквивалентлик белшси; унга узбек тилида «Факат
ва факат шундаки...» деган ибора тугри келади. Масалан,
«Факат жуфг сонларгина (р) иккига колдиксиз булинади (q)», деган хукм р *-*q тарзида ёзилади.
6.7 — инкор килиш белгиси. Масалан, «Ахмедов Ан вар талабадир» (р) деган хукм инкор кдлинганда «Ахмедов Анвар талаба эмас» ртхукмига айланади, яъни р узининг инкори булган у р га узгаради.
Предикатлар мантиги - мухокама жараёнини хукм ларнинг ички тузилишини хисобга олган холда урганувчи формаллашган мантикий тизимдир. Предикатлар мантиги алифбоси мулохазалар мантиги алифбосига янги символлар куш иш оркали хосил килинади.1 Улар куйидагилар:
1.а, в, с,..., - предмет номларини ифодаловчи символлар, улар константлар деб аталади.
2.x, у, z,..., - предметларнинг умумий номларини бил- дирувчи символлар.
1 Бу ерда курсатилмаган символлар ишлатилганда уларнинг киймати тушунтирилади.
3.Р1, Q 1, R 1... , P", Q", R" - предикаторлар учун сим воллар; бунда 1- бир уринли предикаторни, п-п уринли предикаторни билдиради.
4.Хукмнинг микдорини билдирувчи символлар: - уму мийлик квантори; унга узбек тилида «барча», «хар бир»,
«х,еч бир» каби сузлар туфи келади. Масалан, «Х,еч бир ота-она уз фарзандига ёмонлик тиламайди», деган хукм
У(х)Р(х) куринишида ёзилади.
3 - мавжудлик квантори; унга узбек тилида «баъзи»,
«айрим» каби сузлар туфи келади. Масалан, «Баъзи киши лар якка гартибда ишлайди» деган хукм 3(х)Р(х) курини шида ёзилади.
Мулохазалар мантиги ва предикатлар мантиги натурал хулоса чикариш тизими (ёки аксиоматик) тизим сифатида курилиши мумкин.
Машклар
Do'stlaringiz bilan baham: |