Har qanday matematik nazariya u yoki bu matematik jumlaning rost yoki yolg’onligini o’rganadi. Ta’rif: Rost yoki yolg’onligi bir qiymatli aniqlangan darak gapga jumla (mulohaza) deyiladi. Ta’rifga ko’ra “0<1”, “2*5=10”, “7 – juft son”, “1 – tub son” gaplar mulohaza bo’lib, ulardan birinchisi va ikkinchisi rost, uchinchisi va to’rtinchisi yolg’on mulohazalardir. Mulohazalar nazariyasining boshlang’ich ob’yektlari sodda (oddiy) mulohazalardan iborat. Sodda mulohazalar lotin alifbosining katta harflari A, B, C, …. yoki kichik harflari a, b, c,.... orqali belgilanadi. Mulohazalarning rost yoki yolg’onligi ularning mazmuniga qarab aniqlanadi. Rost mulohazalarning qiymati 1, yolg’onligi mulohazalarning qiymati 0 orqali belgilanadi. Mulohaza bir vaqtning o’zida ham rost, ham yolg’on bo’la olmaydi.