Referati Bajardi: Xoshimova. D tekshirdi: Safarova. D meliyev. Sh Mavzu: Takroriy va takrorsiz oʻrin almashtirishlar

B, A(x) B(x) ning rostlik to'plamini T
desak, T=TATBbo'ladi.
U
Predikatlar dizyunksiyasi
A(x) va B{x) predikatlarning har ikkalasi yolg'on
bo'lganda yolg'on, qolgan barcha hollarda rost bo'ladigan predikatga A(x) va B(x) predikatlar dizyunksiyasideyiladi.
Predikatlar dizyunksiyasi «A(x) v B(x)» ko'rinishda belgilanib, «A(x) yoki B(x)» deb o'qiladi. A(x) predikatning rostlik to'plami TA, B(x) ning rostlik to'plami TB, A (x) v B(x) ning rostlik to'plamini T desak, T=TAU TBbo'ladi.
Predikatlar implikatsiyasi
A(x) predikat rost bo'lib, B(x) predikat yolg'on bo'lganda yolg'on, qolgan hollarda rost bo'ladigan mulohaza A(x)
va B(x) predikatlarning implikatsiyasideyiladi.
Predikatlar implikatsiyasi « A(x) =B(x) » ko'rinishda belgilanadi va u A(x) predikatdan B(x) predikat kelib chiqadi deb o'qiladi. Bu holda B(x) predikat A(x) predikat uchun «zaruriy shart», A(x) predikat B(x) predikat uchun «yetarli shart» deyiladi. A(x) predikatning rostlik to'plami TA, B(x) niki TBva A(x)=B(x)ning rostlik to'plami T bo'lsa, T = T'AUTB bo'ladi.
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