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.1-T a ’ r i f . Agar A formula ifodasiga kiruvchi va M sohaga oid o‘zgaruvchilarning shunday qiymatlari mavjud bo‘lib, bu qiymatlarda A formula chin qiymat qabul qilsa, u holda predikatlar mantiqining A formulasi M sohada bajariluvchi formula deb ataladi.
2- Ta ’ r i f . Agar shunday soha mavjud bo‘lib, unda A formula bajariladigan bo‘lsa, u holda A bajariluvchi formula deb ataladi.
Demak, agar biror formula bajariluvchi bo‘lsa, bu hali uning istalgan sohada bajariluvchanligini bildirmaydi.
formula bajariluvchidir. Haqiqatan ham, agar :« » predikat sohada aniqlangan bo‘lsa, u Holda sohada aynan chin formula bo‘ladi, demak, bu sohada bajariluvchi formuladir. Ammo, agar uchun « » predikat chekli sohada, aniqlangan bo‘lsa, u Holda sohada aynan yolg'on formula bo‘ladi va, demak, sohada bajariluvchimasdir. Ravshanki, umumqiymatli formula bo‘lmaydi.


21-bilet
1. Kombinatorikaning 1-qoidasi: Agar qandaydir A tanlashni m usul bilan, bu usullarning har biriga biror bir boshqa B tanlashni n usulda amalga oshirish mumkin bo‘lsa, u holda A va B tanlashni (ko‘rsatilgan tartibda) usulda amalga oshirish mumkin.
Kombinatorikaning 2-qoidasi.Kombinatorikaning 2-qoidasi: Aytaylik birin-ketin k ta harakatni amalga oshirish talab qilngan bo‘lsin. Agar birinchi harakatni - n₁ usulda, ikkinchi harakatni - n₂ usulda, va hokazo k – harakatni - n_k usulda amalga oshirish mumkin bo‘lsa, u holda barcha k ta harakatni
usulda amalga oshirish mumkin bo‘ladi. p₁, p₂,...., p_n – turli sodda sonlar, qandaydir natural sonlar bo‘lgan quyida berilgan son ta umumiy bo‘luvchiga ega;
2. Mantiq algebrasidagi arifmetik amallar. {0,1} Bul algebrasidagi kon’yunksiya amali oddiy arifmetikadagi 0 va 1 sonlar ustidagi ko‘paytma amaliga mos keladi. Ammo 0 va 1 sonlarini qo‘shish natijasi {0,1} to‘plam doirasidan chetga chiqadi. Shuning uchun I.I.Jegalkin¹ 2 moduliga asosan qo‘shish amalini kiritdi. va mulohazalarni 2 moduli bo‘yicha qo‘shishni deb belgilaymiz. 2 moduli bo‘yicha qo‘shish, odatda, chinlik jadvali bilan beriladi (1- jadvalga qarang). Chinlik jadvalidan ko‘rinib turibdiki, bo‘ladi. Mantiq algebrasidagi ko‘paytma va 2 moduli bo‘yicha qo‘shish mantiq amallari uchun kommutativlik, assotsiativlik va distributivlik qonunlari o‘z kuchini saqlaydi.
Bul algebrasidagi asosiy mantiqiy amallarni kiritilgan arifmetik amallar orqali quyidagicha ifodalash mumkin:
; ; ; ; 2 moduli bo‘yicha qo‘shish amalining ta’rifiga asosan va ( ).