Mulohazalar mantig‘i mulohazalarining ichki tuzilishini o‘rganishdan chetlashib, ularning o‘zaro mantiqiy aloqasini hisobga olgan holda muhokama etish jarayonini tahlil qiladigan formallashgan mantiqiy tizimdir. Mulohazalar mantig‘i tili alifbosi ifodalar ta’riflarini va ularning talqin qilinishini o‘z ichiga oladi. Xususan, bu til alifbosi quyidagilardan tashkil topgan:
1. r, q, r – propozitsional o‘zgaruvchilar, ya’ni mulohazalar uchun simvollar.
2. Ù – kon’yunksiya belgisi; u o‘zbek tilidagi «va», «ham», «hamda» kabi bog‘lovchilarga to‘g‘ri keladi. Masalan, «Ma’ruza tugadi (r) va uning muhokamasi boshlandi (q)», degan mulohazani pÙq shaklida ifoda qilish mumkin.
3. Ú– dizyunksiya belgisi; u o‘zbek tilida «yo», «yoki», «yoxud» kabi so‘zlarga to‘g‘ri keladi. Masalan, «Elektr toki yo o‘zgaruvchan (r), yo o‘zgarmas bo‘ladi (q)», degan mulohaza pÚq shaklida yoziladi.
4. → – implikatsiya belgisi; unga o‘zbek tilida «Agar... bo‘lsa,... bo‘ladi», degan ifoda to‘g‘ri keladi. Masalan, «Agar talaba mustaqil ishlasa (r), o‘quv materiallarini yaxshi o‘zlashtiradi (q)», degan mulohaza p→q shaklida yoziladi.
5. º – ekvivalentlik belgisi; unga o‘zbek tilida «Faqat va faqat shundaki...», degan ibora to‘g‘ri keladi. Masalan, «Faqat juft sonlargina (r) ikki ga qoldiqsiz bo‘linadi (q)», degan mulohaza rq tarzida yoziladi.
6. ù – inkor qilish belgisi. Masalan, «Ahmedov Anvar talabadir» (r) degan mulohaza inkor qilinganda «Ahmedov Anvar talaba emas» r mulohazaiga aylanadi, ya’ni r o‘zining inkori bo‘lgan r ga o‘zgaradi.
Predikatlar mantig‘i – muhokama jarayonini mulohazalarning ichki tuzilishini hisobga olgan holda o‘rganuvchi formallashgan mantiqiy tizimdir.
Predikatlar mantig‘i alifbosi mulohazalar mantig‘i alifbosiga yangi simvollarni qo‘shish orqali hosil qilinadi. Ular quyidagilar:
a, v, s,..., – predmet nomlarini ifodalovchi simvollar, ular konstantlar deb ataladi.
x, u, z,..., – predmetlarning umumiy nomlarini bildiruvchi simvollar.
R1, Q1, R1... , Pn, Qn, Rn – predikatorlar uchun simvollar; bunda 1– bir o‘rinli predikatorni, n–n o‘rinli predikatorni bildiradi.
Mulohazaning miqdorini bildiruvchi simvollar: " – umumiylik kvantori; unga o‘zbek tilida «barcha», «har bir», «hech bir» kabi so‘zlar to‘g‘ri keladi. Masalan, «Hech bir ota-ona o‘z farzandiga yomonlik tilamaydi», degan mulohaza (x)P(x) ko‘rinishida yoziladi.
Dostları ilə paylaş: |