1. Mantiq algebrasidagi arifmetik amallar. Arifmetik amallarni chinlik to`plami. Jegalkin ko`phadi

Bu yerda funksiya aynan 0 gа teng emas, aks holda argument funksiyaning (ko’phadning) argumentlari safiga qo’shilmasdi.

Endi argumentlarning shunday qiymatlarini olamizki, bo’lsin.U holda funksiyaning qiymati argumentning qiymatiga bog’liq bo’ladi. Demak, soxta argument emas. Mantiq algebrasidagi hamma argumentli chiziqli funksiyaлар toplamini harfi bilan belgilaymiz. Uning elementlarining soni га teng bo’ladi.

Теорема. Agar bo’lsa, U holda undan argumentlari o’rniga 0 va 1 konstantlarni hamda va funksiyalarni, ayrim holda ustiga “-“ inkor amalini qo’yish usuli bilan funksiyani hosil qilish mumkin.