1. Agar funktsiya a ni b ga turli qiymatli akslantirish bo‘lsa, u holda funktsiya a va b to‘plamlarning o‘zaro bir qiymatli mosligi

3) Post²⁵ teoremasi. E. L. Post tomonidan funksiyalar sistemasi to‘liqligining yetarli va zarur shartlari topilgan.

35-bilet
1) Turmushda ikki inson, aytaylik Barno va Nargizaning qarindoshligi haqida gapirganda shuni nazarda tutiladiki, shunday ikkita oila mavjud, Barno va Nargizaning shu oilalarga qandaydir aloqasi bor. Tartiblangan (Barno, Nargiza) juftligi boshqa tartiblangan kishilar juftligidan shunisi bilan farq qiladiki, ularning orasida opa-singillik yoki ona-qizlik, jiyanlik kabi munosabatlar bo’lishi mumkin.
Diskret matematikada ham dekart ko’paytmaning barcha tartiblangan juftliklari orasidan o’zaro qandaydir “qarindoshlik” munosabatlariga ega bo’lgan juftliklarni ajratib ko’rsatish mumkin. Ixtiyoriy ikki to’plamning elementlari orasidagi munosabatlar uchun binar munosabat tushunchasini kiritamiz. Bu tushuncha matematika kabi informatikada ham ko’p uchraydi. Bir nechta to’plam elementlari orasidagi munosabat ma’lumotlar jadvali shaklida beriladi. Ushbu bob tadbiqini ma’lumotlar bazasini boshqarish tizimini tasvirlashda ishlatiladigan n – ar munosabatlarda ko’rish mumkin.
Tа’rif . Agar n o‘rinli munosаbаtda n=1 bo`lsa, munosаbаt А<sub>1</sub> to‘plаmning qism to‘plаmi bo‘lаdi vа unаr munosаbаt (bir o`rinli munosabat) yoki xossа deyilаdi
Ba’zan n -ar munosabat iborasi o'rniga n o'rinli munosabat iborasi qo'llaniladi. Agar munosabat bir o'rinli bo'lsa, u holda u unar munosabat, ikki o'rinli bo'lganda esa binar munosabat deb ataladi. Unar munosabat xossa (xususiyat) deb ham yuritiladi. Adabiyotda, ko'pincha, 3-ar munosabat ternar munosabat deb nomlanadi.
2) 3.8.2. Asosiy mantiqiy amallarning chinlik to‘plamlari. Chinlik to‘plamlari mos ravishda va bo‘lgan va formulalar berilgan bo‘lsin.
Kon’yunksiyaning chinlik to‘plami. va formulalar kon’yunksiyasining chinlik to‘plami bo‘ladi. Haqiqatdan ham, kon’yunksiya ta’rifiga asosan, formula va formulalarning ikkalasi ham chin bo‘lgandagina chindir. Shuning uchun, formulaning chinlik to‘plami va to‘plamlarning umumiy elementlaridan tuzilgan kesishmasidan iborat bo‘ladi. Demak, mulohazalar mantiqidagi kon’yunksiya amaliga ( belgiga) to‘plamlar nazariyasidagi kesishma amali ( belgi) mos keladi (I bobning 2- paragrafidagi 2- shaklga qarang).