Amaliy matematika va informatika

Murakkab xulosa qoidasi. Bu qoidada

ko’rinishdagi formulalarga nisbatan ikkinchi hosilaviy qoida ishlatiladi va uni quyidagi tasdiq orqali izohlash mumkin.

1.4. Formulalar majmuasidan formulani keltirib chiqarish qoidasi
chekli formulalar majmuasi (to’plami) berilgan bo’lsin. Bu formulalar majmuasidan formulani keltirib chiqarish tushunchasini beramiz.

Ta’rif. 1) Har qanday formulalar majmuasi dan keltirib chiqariladigan formuladir.