Olimboyev adhamning diskret tuzilmalar fanidan mustaqil ishi topshirdi : olimboyev adham qabul qildi

Masalan, to`plamda -tub son” va  toq son” predikatlari berilgan bo`lsa, ularning kon’yunksiyasi
u holda  ga teng bo`ladi.
Predikatlar diz’yunksiyasi.
6-Tarif.  predikatlarning har ikkalasi yolg`on bo`lganda yolg`on, qolgan hollarda rost bo`ladigan predikatga ularning diz’yunksiyasi deyiladi.
P redikatlar diz’unksiyasi   ko`rinishda belgilanib, deb o`qiladi.
predikatning rostlik to`plamini   predikatning rostlik to`plamini  va ning rostlik to`plamini T desak u holda   bo’ladi. Buni Eyler-Venn diagrammalarida tasvirlasak, undagi shtrixlangan sohadan iborat bo`ladi.
Masalan, ˂ 13}  va  soni 12 ning bo`luvchisi” predikatlari berilgan bo`lsa, ularning diz’yunksiyasi
va  , u holda  ga teng bo`ladi.
Predikatlar implikatsiyasi.
7-Tarif.  predikat rost,  predikat yolg`on bo`lganda yolg`on, qolgan hollarda rost bo`ladigan mulohaza shu predikatlarning implikatsiyasi deyiladi.
Predikatlar implikatsiyasi   ko`rinishda belgilanib,  predikatdan   predikat kelib chiqadi” deb o`qiladi. Bunda   predikat  predikat uchun zaruriy shart,  predikat  predikat uchun yetarli shart deyiladi.
predikatning rostlik to`plamini   predikatning rostlik to`plamini  ning rostlik to`plamini  desak, u holda   bo’ladi. Uni Eyler-Venn diagrammalarida tasvirlasak, undagi shtrixlangan sohadan iborat bo`ladi.
Masalan, to`plamda  - tub son”  va   - toq son” predikatlari berilgan bo`lsa, ularning implikatsiyasi
va
,
, u holda  ga teng bo`ladi.
Predikatlar ekvivalensiyasi.
8-Tarif.  predikatlarning har ikkalasi rost bo`lganda hamda har ikkalasi yolg`on bo`lganda rost, qolgan hollarda yolg`on bo`ladigan mulohaza shu predikatlarning ekvivalensiyasi deyiladi.
P redikatlar ekvivalensiyasi  ko`rinishdabelgilanib,  bilan   teng kuchli” deb o`qiladi. Bunda   va  predikatlarning har biri ikkinchisi uchun zaruriy va yetarli shart hisoblanadi.   ning rostlik to`plamini T desak, u  va  predikatlarning har ikkalasi bir vaqtda rost va har ikkalasi bir vaqtda yolg`on bo`ladigan mulohazalarning rostlik qiymatlari to`plamidan iborat bo`ladi. Demak,  predikatlarning har ikkalasi bir vaqtda rost bo`lgan holdagi rostlik to`plami  har ikkalasi bir vaqtda yolg`on bo`lgan holda rostlik to`plami  bo`ladi. Bundan   bo`lishi kelib chiqadi. Uni Eyler-Venn diagrammalarida tasvirlasak, undagi shtrixlangan sohadan iborat bo`ladi.
Masalan,  to`plamda  son 3 ga karrali” va  soni 12 ning bo`luvchisi” predikatlari berilgan bo`lsa, ularning ekvivalensiyasi va  , u holda
ga teng bo`ladi.
Predikatni mulohazaga aylantirishning yana bir usuli kvantorlardan foydalanishdir. Ikki xil kvantor bor bo`lib, ularning biri ”umumiylik”, ikkinchisi ”mavjudlik” kvantori deb ataladi.