Mavzu: Mavzu: To`liqsizlik haqidagi Gyodel teoremasi Reja


- mantiqiy bog‘lovchilardan iborat



Yüklə 0,72 Mb.
səhifə2/7
tarix01.06.2022
ölçüsü0,72 Mb.
#60285
1   2   3   4   5   6   7
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.
    •  

    ,

    Yüklə 0,72 Mb.

    Dostları ilə paylaş:
    1   2   3   4   5   6   7




    Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©azkurs.org 2024
    rəhbərliyinə müraciət

    gir | qeydiyyatdan keç
        Ana səhifə


    yükləyin