Mulohazalar hisobida uch kategoriyali simvollardan iborat alfavit qabul qilinadi: Birinchi kategoriya simvollari

Xulosa qoidasi. Agar va AV lar mulohazalar hisobining isbotlanuvchi formulalari bo’lsa, u holda V ham isbotlanuvchi formula bo’ladi. Bu qoida quyidagicha sxematik ravishda yoziladi:

.

Isbotlanuvchi formulaning ta’rifi.

a) Har qanday aksioma isbotlanuvchi formuladir;

b) Isbotlanuvchi formuladagi o’zgaruvchi o’rniga ixtiyoriy formulani qo’yish natijasida hosil bo’lgan formula isbotlanuvchi formula bo’ladi.

v) va isbotlanuvchi formulalardan xulosa qoidasini qo’llash natijasida olingan V formula isbotlanuvchi formuladir;

g) Mulohazalar hisobining boshqa hyech qanday formulasi isbotlanuvchi deb sanalmaydi.

Ta’rif. Isbotlanuvchi formulalarni hosil etish prosessi (jarayoni)ga isbot qilish (isbotlash) deb aytiladi.