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.
Do'stlaringiz bilan baham: |
