|
Mustaqil ish mavzu: teng kuchli formulalar. Tavtologiya va ziddiyatlar
|
| bet | 3/3 | | Sana | 15.01.2024 | | Hajmi | 19.55 Kb. | | #137506 |
Bog'liq marufjonov avazbek diskiret22 415544564, ayubxon, 1-25, Амалий иш-3, Амалий иш-1, axborot-kutubxona lot, Exploring-British-and-American-Lifestyles, 3 2 Хайъат Кадрлар салоҳияти Э Шакиров, 411-buyruq ijrosi, Sport maydonchalari.pptx [Автосохраненный], register 9637 2023, Mustaqil ish Dasturlash, Mavzu, fozilZiddiyatga ega bo’lgan nazariya.
1- Ta ’rif .Agar T nazariyada shunday S mulohaza topilib, и о 'zining inkori S bilan birga teorema bo ‘isa, и holda T ziddiyatga ega bo‘lgan nazariya deb ataladi. Aks holda T zidsiz nazariya deyiladi.
Agar T nazariyada S mulohaza topilib, u o‘zining inkori S bilan birga teorema bommasa, shunda va faqat shundagina u zidsiz nazariya bo‘ladi.
T nazariyada keltirib chiqarish qoidasining biri sifatida xulosa qoidasi mavjud bomganidan, ziddiyatga ega bo‘lgan nazariyaning istalgan mulohazasi teorema bo’ladi haqiqatan ham, T nazariyaning istalgan A mulohazasi uchun S —> (S — > A) ifoda teorema bomadi, chunki bu mulohaza S —> (S —> A) tavtalogiyadir. Bu yerda S va S ning teorema ekanligini hisobga olgan holda ikki marta xulosa qoidasidan foydalanib, A teoremadir degan xulosaga kelamiz.
Agar T nazariya uchun shunday interpretatsiyani topish mumkin bomsaki, uning interpretasiyasi chekli to‘plamdan iborat bo‘lsa, u holda bu interpretatsiyada ziddiyat mavjud emasligi masalasini yechish to‘g‘ridanto‘g‘ri shu chekli to‘plamni ko‘rish bilan hal bomadi. Masalan, bir elementli to‘plam a elementga ega bomsin. Agar bu to‘plamda a * a = a amali aniqlangan bomsa, u holda u ziddiyatga ega bommagan guruh nazariyasining modeli bomadi. Demak, guruh nazariyasi zidsizdir. Ammo, ko‘pincha modelning zidsizligini isbotlash ancha murakkab fikr yuritishni talab qiladi. Bu, ayniqsa, T nazariya faqat cheksiz modellarga ega bomgan hollarda ko'proq yuz beradi.
Masalan, agar Evklid geometriyasining tushunchalari Lobachevskiy geometriyasining interpretatsiyasi sifatida foydalanilsa, u holda Lobachevskiy geometriyasining zidsizligi masalasini Evklid geometriyasining zidsizligi masalasiga keltirish mumkin. Shuni ta’kidlash kerakki, Evklid geometriyasining zidsizligi va haqiqiy sonlar nazariyasining zidsizligi hozirgacha isbot qilingan emas. Bir vaqtda zidsiz va to’liq bo‘lgan T nazariya zidsizlikka nisbatan shu ma’noda maksimal bo‘ladiki, bu nazariyaga aksioma sifatida shu nazariyada mumkin boigan istalgan (ammo uning teoremasi bo'lmagan) mulohazani qo‘shganda, ziddiyatga ega bo'lgan nazariya hosil bo‘ladi
Xulosa
Hozirgi o’ta zamonaviy axborot texnologiyalari asosida ma`lumotlarni obrazlar ko’rinishida taqdim etish va fikrlash jarayonini tashkil etish o’quvchilarning aqliy rivojlanish darajasini yuqoriga ko’taribgina qolmasdan, an`anaviy o’qitish o’rtasidagi nisbatni o’zgartirishga ham olib keladi. Bu yerda predikat tushunchasi, predikatlar usiida mantiqiy amallar, umumiylik va mavjudlik kvantorlari, predikatlar mantiqining formulasi va uning qiymati, predikatlar mantiqining teng kuchli formulalari, predikatlar mantiqi formulasining normal shakli, bajariluvchi va umumqiymatli formulalar, yechilish muammosi, xususiy hollarda formulaning umumqiymatliligini topish algoritmlari, predikatlar mantiqining matematikaga tatbiqi, aksiomatik predikatlar hisobi haqida ma’lumotlar keltiriladi.
Foydalanilgan adabiyotlar
Yuldashev U. Y.,Oqiyev R. R., Zokirova F. M., "Informatika" – T, 2002 y.
Abduqodirov A. A., Hayitov A., Shodiyev R. "Axborot texnologiyalari"– T, 2002 y.
Akademik litseylar uchun "informatika" fanidan o’quv dasturi – T, 2000 y.
Бекаревич ю., Пушкина Н. Самоучитель microsoft access 2002,
Пасько виктор microsoft office для пользователя, БХВ петербург 2001 г
MSDN - http://msdn.Microsoft.Com Www.Citforum.Ru/database http://azkurs.org
|
| |
