To'plamlaridan iborat va bu universal to'plam qismlari soni


Download 57.08 Kb.
Sana18.06.2023
Hajmi57.08 Kb.
#1556203
Bog'liq
untitled-document-0c84ea0b-eac6-47c6-a6dd-a0af0981a46d (4)


to'plamlaridan iborat va bu universal to'plam qismlari soni bo ladi.
Shunday qilib, tarkibida ta elementar mulohazalar ishtirok etgan mumkin bo'lgan barcha formulalar bilan ularning chinlik to'plamlari orasida o'zaro bir qiymatli moslik otmatildi. Demak, barcha o'zaro teng kuchli formulalarga faqat bitta chinlik to plami mos keladi.
1- misol. Ikkita va elementar mulohazalarning formulasi aynan chindir (ushbu bobning 3paragrafidagi 1- misolga qarang). Shuning uchun berilgan formulaning chinlik to'plami elementli universal to plamdan iboratdir.
2- misol. Tarkibida uchta va elementar mulohazalar qatnashgan formula qiymatlar satrlarining faqat bittasida (aniqrog'i, satrda) 1 qiymat, qolgan yettitasida esa 0 qiymat qabul qiladi. Shuning uchun, formulaning chinlik to plami , ya'ni bitta kortejdan tashkil topgan bo'ladi.
3- . Ushbu formula tarkibida uchta kortej bo'Igan chinlik to'plamiga egadir.
Agar qandaydir formula chinlik to'plamiga ega bo'lsa, u holda " formula to 'plamda chin qiymat qabul qiladi" (yoki, qisqacha, " formula to plamda chin") deb ham yuritiladi. Shunga o'xshash, " formula to'plamda yolg'on" deyish mumkin, bu yerda , ya'ni to'plamning to'ldiruvchisi. Agar formula to'plamda chin bo'lsa, u holda formula to'plamda chin, to'plamda esa yolg'on bo'ladi. Xuddi shu kabi, aynan chin formula universal to'plamda chin va to plamda yolg'on qiymat qabul qiladi. Aynan yolg on formula esa, aksincha, to'plamda chin va to'plamda yolg'ondir.
Formulalar bilan chinlik to plamlari orasidagi yuqorida ifodalangan bog'lanish mulohazalar mantiqiga oid masalani to'plamlar nazariyasi masalasiga va, aksincha, to plamlar nazariyasidagi masalani mulohazalar mantiqiga doir masalaga chirish imkoniyatini beradi.
3.8.2. Asosiy mantiqiy amallarning chinlik to'plamlari. Chinlik to plamlari mos ravishda va bo'lgan va formulalar berilgan bo' .
Download 57.08 Kb.

Do'stlaringiz bilan baham:




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling