6-mavzu. Mulohazalar hisobi. Deduksiya teoremasi. Reja

Keltirib chiqarish (isbotlash) tushunchasi
Ta’rif. Agar chekli formulalar ketma-ketligining har qanday hadi quyidagi:
1) formulalar majmuasining birorta formulasi;
2) isbotlanuvchi formula;
3) ketma-ketlikning istalgan ikkita oldinma-keyin keladigan elementlaridan xulosa qoidasiga asosan hosil qilinadi degan uch shartning birortasini qanoatlantirsa, u holda bu ketma-ketlik chekli formulalar majmuasidan keltirib chiqarilgan deb aytiladi.
Oldingi paragrafdagi misolda ko‘rsatildiki, dan quyidagi formulalar chekli ketma-ketligi keltirilib chiqariladi:


Agar murakkab xulosa qoidasidan foydalansak, u vaqtda (isbot) keltirib chiqarish formulalari quyidagicha bo‘ladi:


Formulani keltirib chiqarish va formulalar majmuasidan keltirib chiqarish ta’riflariga asosan keltirib chiqarishning quyidagi xossalari hosil bo‘ladi:
- formulalar majmuasidan keltirib chiqarilgan chekli ketma-ketlikning boshlang‘ich qismi ham dan keltirib chiqariladigan bo‘ladi;
-agar dan keltirib chiqarilgan ketma-ketlikning ikkita qo‘shni hadlari (elementlari) orasiga dan keltirib chiqarilgan qandaydir boshqa ketma-ketlik qo‘yilsa, u vaqtda hosil etilgan yangi formulalar ketma-ketligi ham dan keltirib chiqarilishi mumkin.
Haqiqatan ham, masalan, agar va lar dan keltirib chiqarilsa, u vaqtda keltirib chiqarish ta’rifiga asosan ham dan keltirib chiqariladigan bo‘ladi.
- formulalar majmuasidan keltirib chiqarilgan formulalar ketma-ketligining har qanday hadi dan keltirib chiqariladigan formuladir.
-agar  bo‘lsa, u vaqtda dan keltirib chiqarilgan har qanday formula ning ham formulasi bo‘ladi.
- formula dan keltirib chiqariladigan formula bo‘lishi uchun dan keltirib chiqarilgan ixtiyoriy formulalar ketma-ketligida bu formulaning mavjud bo‘lishi yetarli va zarurdir.