Amaliy matematika va informatika

1.5. 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.