Қонунлари. Режа



Download 0,66 Mb.
Pdf ko'rish
bet13/59
Sana28.12.2022
Hajmi0,66 Mb.
#896518
1   ...   9   10   11   12   13   14   15   16   ...   59
Bog'liq
Mantiq

Мулоҳазалар мантиғи
ҳукмларининг ички тузилишини ўрганишдан четлашиб, 
уларнинг ўзаро мантиқий алоқасини ҳисобга олган ҳолда муҳокама қилиш жараёнини таҳлил 
қиладиган формаллашган мантиқий системадир. Мулоҳазалар мантиғи тили алифбоси


ифодалар таърифларини ва уларнинг талқин қилинишини ўз ичига олади. Хусусан, бу тил 
алифбоси қуйидагилардан ташкил топган: 
1. р, q, r - пропозициоал ўзгарувчилар, яъни ҳукмлар учун символлар. 
2. 
Ù
- конъюнкция белгиси; у ўзбек тилидаги «ва», «ҳам», «ҳамда» каби боғловчиларга 
тўғри келади. Масалан, «Маъруза тугади (р) ва унинг муҳокамаси бошланди (q)», деган 
ҳукмни p
Ù
q шаклида ифода қилиш мумкин. 
3. 
Ú
- дизюнкция белгиси; у ўзбек тилида «ё», «ёки», «ёҳуд» каби сўзларга тўғри 
келади. Масалан «Электр токи ё ўзгарувчан (р), ё ўзгармас бўлади (q)», деган ҳукм pvq 
шаклида ёзилади. 
4. 
®
- импликация белгиси; унга ўзбек тилида «Агар... бўлса, - ... бўлади», деган 
ифода тўғри келади. Масалан, «Агар талаба мустақил ишласа (р), ўқув материалларини яхши 
ўзлаштиради (q)» деган ҳукм p
®
q шаклида ёзилади. 
5. Эквивалентлик белгиси; унга ўзбек тилида «Фақат ва фақат шундаки...» деган ибора 
тўғри келади. Масалан, «Фақат жуфт сонларгина (р) 2 га қолдиқсиз бўлинади (q)», деган 
ҳукм р
«
q тарзида ёзилади. 
6. 
Ø
— инкор қилиш белгиси. Масалан «Ахмедов Анвар талабадир». (р) деган ҳукм инкор 
қилинганда «Ахмедов Анвар талаба эмас» 
Ø
р ҳукмига айланади, яъни р ўзининг инкори бўлган 
Ø
р га ўзгаради. 
Предикатлар мантиғи
– муҳокама жараёнини ҳукмларнинг ички тузилишини 
ҳисобга олган ҳолда ўрганувчи формаллашган мантиқий системадир. Предикатлар мантиғи 
алифбоси мулоҳазалар мантиғи алифбосига янги символлар қўшиш орқали ҳосил қилинади.
1
 
Улар қуйидагилар: 
1. а, в, с,..., - предмет номларини ифодаловчи символлар, улар константалар деб 
аталади. 
2. х, у, z..., - предметларнинг умумий номларини билдирувчи символлар. 
3. Р
1
, Q
1
, R
1
... , P
n
, Q
n
, R
n
– предикаторлар учун символлар; бунда 1-бир ўринли 
предикаторни, 2-икки ўринли предикаторни, n-n ўринли предикаторларни билдиради. 
4. Ҳукмнинг миқдорини билдирувчи символлар: 
"
- умумийлик квантори; унга ўзбек 
тилида «барча», «ҳар бир», «ҳеч бир» каби сўзлар тўғри келади. Масалан, «Ҳеч бир ота-она 
ўз фарзандига ёмонлик тиламайди» деган ҳукм 
"
(x)P(x) кўринишида ёзилади. 
$
- мавжудлик квантори; унга ўзбек тилида «баъзи», «айрим» каби сўзлар тўғри 
келади. Масалан, «Баъзи кишилар якка тартибда ишлайди» деган ҳукм 
$
(x)P(x) кўринишида 
ёзилади. 
Мулоҳазалар мантиғи ва предикатлар мантиғи натурал хулоса чиқариш системаси (ёки 
аксиоматик) система сифатида қурилиши мумкин. 

Download 0,66 Mb.

Do'stlaringiz bilan baham:
1   ...   9   10   11   12   13   14   15   16   ...   59




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish