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

Murakkab xulosa qoidasi. Bu qoidada

ko’rinishdagi formulalarga nisbatan ikkinchi hosilaviy qoida ishlatiladi va uni quyidagi tasdiq orqali izohlash mumkin.

1.4. Formulalar majmuasidan formulani keltirib chiqarish qoidasi
chekli formulalar majmuasi (to’plami) berilgan bo’lsin. Bu formulalar majmuasidan formulani keltirib chiqarish tushunchasini beramiz.

Ta’rif. 1) Har qanday formulalar majmuasi dan keltirib chiqariladigan formuladir.

2) Har qanday isbotlanuvchi formula dan keltirib chiqariladi.

3) va lar formulalar majmuasidan keltirib chiqarilgan formulalar bo’lsa, u holda formula ham dan keltirib chiqariladi.

Biror formula formulalar majmuasidan keltirib chiqariladigan bo’lsa, uni simvolik ravishda shaklda yozamiz.

Agar bo’sh to’plam yoki elementlari faqat isbotlanuvchi formulalardan iborat bo’lsa, u vaqtda dan keltirib chiqariladigan formulalar sinfi isbotlanuvchi formu-lalar sinfi bilan mos keladi. Agar formulalar majmuasi ning hyech bo’lmaganda bitta elementi isbotlanmaydigan formuladan iborat bo’lsa, u holda dan keltirib chiqari-ladigan formulalar sinfi isbotlanuvchi formulalar sinfiga nisbatan kengroq bo’ladi.