Mavzu: Mavzu: To`liqsizlik haqidagi Gyodel teoremasi Reja


- mantiqiy bog‘lovchilardan iborat



Download 0,72 Mb.
bet2/7
Sana05.07.2022
Hajmi0,72 Mb.
#741311
1   2   3   4   5   6   7
Bog'liq
taqdimot.algebra.mohlaroy

- mantiqiy bog‘lovchilardan iborat.

  • 1-ta’rif. Formal simvollarning chekli ketma-ketligi formal ifodalar deb ataladi.
  • Masalan, ko‘rinishdagi ifodalar formal ifodalardir.
  • Formal ifodalar ikki sinfga bo‘linadi: term lar sinfi va formulalar sinfl.
  • Konstanta 0 va sonli o‘zgaruvchilardan funksional simvollar orqali termlar tuziladi. Term – predmet o`zgaruvchilar va predmet konstantlari termdir. Tabiiy interpretasiyaga (talqinga ) asosan term – bu ayrim olingan predmetning ismidir. O`zgaruvchilar va predmet konsantlardan tashqari ammallarning simvollari vositasida o`zgaruvchilar va predmet konstantalardan hosil qilingan zanjirlar ham term bo`ladi, chunki interpretasiyaga ko`ra term biror funksiyaning qiymati sifatida aniqlanayapti.
  • 2-ta`rif. 1) 0 — termdir; 2) x, y, z,... sonli о ‘zgaruvchilar termdir;. 3 -5 ) agar r va s term bo`lsa,u holda (r’) , (r) + (s) va (r)(s) ham term bo`ladi. 6) 1-5- bandlarda aniqlangan termlardan boshqa hech qanday term уо’q.

    • 2-ta`rif. 1) 0 — termdir; 2) x, y, z,... sonli о ‘zgaruvchilar termdir;. 3 -5 ) agar r va s term bo`lsa,u holda (r’) , (r) + (s) va (r)(s) ham term bo`ladi. 6) 1-5- bandlarda aniqlangan termlardan boshqa hech qanday term уо’q.
    • Bu nazariyada elementar formulalar termlar va ularning tengliklaridan iborat bo'ladi. Boshqa formulalar elementar formulalardan mantiqiy bog`llovchilar vositasida hosil qilinadi.
    • 3-ta’rif. 1) Agar r va s termlar bo'lsa, u holda (r) = (s) formula bo'ladi; 2-5) agar A va В formulalar bo'lsa, u holda AB, AB ham formulalar bo 'ladi; 6-7) agar A formula va x o'zgaruvchi bo'lsa, u holda va formulalar bo'ladi; 8) 1-7- bandlarda aniqlangan formulalardan boshqa hech qanday formula yo`q.
    • Formulalar aksiomatik natural sonlar nazariyasida arifmetik formulalar deb ataladi.
    • 1-izoh. 2- ta’rifdagi « r» va « s » formal simvollar emas. Ular metatilda foydalaniladigan matematik o‘zgaruvchilardir. Shuning uchun « (r) + (s) » formal ifoda emas. Agar « r» va « s » o`rniga termlar qo'yilsa, u holda u formal ifoda bo'ladi.
    • 2-izoh. 3- ta’rifdagi « A » va « В » hamda «x » matematik o'zgaruvchilardir. Ularning o'niga mos ravishda ma’lum qiymatlari qo'yilgandagina, ta’rifdagi ifodalar formulalarga aylanadi.
    •  

    ,

    Download 0,72 Mb.

    Do'stlaringiz bilan baham:
    1   2   3   4   5   6   7




    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