Amaliy matematika va informatika

O’rniga qo’yish qoidasi. Agar mulohazalar hisobining isbotlanuvchi formulasi, -o’zgaruvchi, mulohazalar hisobining ixtiyoriy formulasi bo’lsa, u vaqtda formula ifodasidagi hamma lar o’rniga formulani qo’yish natijasida hosil etilgan formula ham isbotlanuvchi formula bo’ladi.