Amaliy matematika va informatika

shaklda yozishga kelishamiz.

U holda o’rniga qo’yish qoidasini quyidagicha sxematik ravishda ifodalash mumkin:

va uni «agar isbotlanuvchi formula bo’lsa, u vaqtda ham isbotlanuvchi formula bo’ladi» deb o’qiladi.