Amaliy matematika va informatika

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.