O‘zbekiston respublikasi axborot texnologiyalari va kommunikatsiyalarini rivojlantirish vazirligi muhammad al-xorazmiy nomidagi toshkent axborot texnologiyalari

Download 22,43 Kb.
bet	5/7
Sana	27.11.2023
Hajmi	22,43 Kb.
	#106770

1 2 3 4 5 6 7

Bog'liq
Takrorsiz va takroriy o’rinlashtirishlar-fayllar.org

Teorema Tushunchalarning asosiy bolmagan va tarifga kiritilmagan xossalari odatda isbotlanadi.
Shunday qilin, teorema bu a xossadan b xossaning kelib chiqishi haqidagi fikr. Bu fikrning chinligi isbotlash yoli bilan aniqlanadi. Teoremaning qismlari
Teoremaning sharti va xulosasi ularning inkorlari bilan almashtirilsa, berilgan teoremaga qarama-qarshiteorema hosil boladi: Mavzu: Algebraik operatsiyalar.
Misol. Qo‘shish N to‘plamda algebraik operatsiya bo‘ladi. Haqiqatan ham, ( (a; b)є N, ссN )(a + b = c).
( (x;y)єX, zєX )((x ; y) = z). Masalan, ayirish va bolish N da qisman algebraik operatsiya boladi.

Predikatlar ekvivalensiyasi
A(x) va B(x) predikatlarning har ikkalasi yolg'on
bo'lganda hamda har ikkalasi rost bo 'lganda rost bo'ladigan, qolgan hollarda yolg'on bo'ladigan mulohaza predikatlar ekvivalensiyasideyiladi.
Predikatlar ekvivalensiyasi A{x)B(x) ko'rinishda belgilanadi va «A(x) bilan B(x) teng kuchli» deb o'qiladi. Agar ikkita predikat teng kuchli, ya’ni ekvivalent bo'lsa, ularning har biri ikkinchisi uchun zaruriy va yetarli shart hisoblanadi.
Teorema
Tushunchalarning asosiy bo'lmagan va ta'rifga kiritilmagan xossalari odatda isbotlanadi.
Tushunchaning isbot qilinadigan xossalari teoremalar deyiladi. Ular har xil ko'rinishda isbotlanishidan qat'i nazar isbotlanishni talab qiladigan fikrlardir.
Shunday qilin, teorema bu a xossadan b xossaning kelib chiqishi haqidagi fikr. Bu fikrning chinligi isbotlash yo'li bilan aniqlanadi.
Teoremaning qismlari
Teoremaning sharti;Teoremaning xulosasi;Tushuntirish qismi
Teoremaning sharti va xulosasi o'rni almashsa, berilgan teoremaga teskariteorema hosil bo'ladi.
Teoremaning sharti va xulosasi ularning inkorlari bilan almashtirilsa, berilgan teoremaga qarama-qarshiteorema hosil bo'ladi:
Mavzu: Algebraik operatsiyalar.
Agar X to'plamdan olingan har bir (x; y) juftlikka
yana shu to ‘plamdan z element mos kelsa, u holda bu moslik X da berilgan binar algebraik operatsiyadeyiladi, ya’ni ( (x; y )єX , zєX)((x ; y) = z).
Misol. Qo‘shish N to‘plamda algebraik operatsiya bo‘ladi.
Haqiqatan ham, ( (a; b)є N, ссN )(a + b = c).
Agar X to ‘plamdan olingan ba ’zi (x; y) — juftliklarga shu to'plamdan bitta z element mos kelsa, u holda bu moslikqisman algebraik operatsiyadeyiladi, ya’ni
( (x;y)єX, zєX )((x ; y) = z).
Masalan, ayirish va bo'lish N da qisman algebraik operatsiya
bo'ladi.

Download 22,43 Kb.

1 2 3 4 5 6 7

Download 22,43 Kb.