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

2.Ta’rif 5. Agar α va β formulalar uchun umumiy bo‘lgan mantiqiy imkoniyatlarda α va β bir xil qiymat qabul qilsa, u holda α va β formulalar teng kuchli deyiladi va α≡β kabi belgilanadi. Boshqacha aytganda, agarda formulalarning rostlik jadvallari mos bo’lsa, ular teng kuchli bo`ladi. 3-ta’rif. va funksiyalar mulohazalar algebrasining funksiyalari, o‘zgaruvchilar esa ularning hech bo‘lmaganda bittasining argumentlari bo‘lsin. Agar argumentlarning barcha qiymatlar satrlari uchun f va g funksiyalarning mos qiymatlari bir xil bo‘lsa, u holda va funksiyalar teng kuchli funksiyalar deb ataladi.
Agar berilgan funksiyalar teng kuchli bo‘lmasa, u holda ular teng kuchlimas funksiyalar deb yuritiladi.
Berilgan va funksiyalarning teng kuchliligi shaklda yoziladi. Agar va funksiyalar teng kuchlimas funksiyalar bo‘lsa, u holda g yozuvdan foydalaniladi.
3.Umumiylik kvantori. to‘plamda aniqlangan predikat berilgan bo‘lsin. Har qanday uchun chin va aks holda yolg‘on qiymat qabul qiluvchi mulohaza ifodasini shaklda yozamiz. Bu mulohaza endi ga bog‘liq bo‘lmay qoladi va u quyidagicha o‘qiladi: «har qanday uchun chin». simvol umumiylik kvantori deb ataladi. Aytilgan fikrlarni matematik ifodalar vositasida quyidagicha yozish mumkin:

predikatda ni erkin (ozod) o‘zgaruvchi va mulohazada ni umumiylik kvantori bilan bog‘langan o‘zgaruvchi deb ataladi.
Mavjudlik kvantori. predikat to‘plamda aniqlangan bo‘lsin. Hech bo‘lmaganda bitta uchun predikat chin va aks holda yolg‘on qiymat qabul qiluvchi mulohaza ifodasini shaklda yozamiz. Bu mulohaza ga bog‘liq emas va uni quyidagicha o‘qish mumkin: «shunday mavjudki, », ya’ni simvol mavjudlik kvantori deb ataladi. mulohazada o‘zgaruvchi kvantori bilan bog‘langan bo‘ladi.