Matematika fakulteti funksional analiz, algebra va geometriya

Xulosa qoidasi. Agar mulohazalar hisobining isbotlanuvchi fo’rmulalari bo’lsa , u holda ham isbotlanuvchi fo’rmula bo’ladi. Bu qoida xulosa qoidasi deb yuritiladi va sxematik ravishda quydagicha yoziladi:



TARIF(isbotlanuvchi formula tarifi).

1. 
   har qanday aksioma isbotlanuvchi formuladir;
   
2. 
   isbotlanuvchi formuladagi o’zgaruvchi o’rniga ixtiyoriy fo’rmulani qo’yish natijasida hosil bo’lgan formula isbotlanuvchi fo’rmula bo’adi;
   
3. 
   isbotlanuvchi formuladan xulosa qoidasini qo’lash natijasida olingan fo’rmula isbotlanuvchi fo’rmuladir:
   
4. 
   Mulohazalar hisobining boshqa hech qanday fo’rmulasi isbotlanuvchi fo’rmula emas.