Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

1- misol. Ushbu , , , , , , , va ko‘rinishda yozilgan murakkab mulohazalarning har biri formuladir, lekin va yozuvlarni formula sifatida qabul qilish mumkin emas, chunki ularning birinchisida kon’yunksiya belgisidan keyin yopuvchi “]” qavs yozilgan, ikkinchisida esa ikkinchi ochuvchi “(“ qavsga mos yopuvchi “)” qavs yozilmagan. ■

Formula tushunchasiga matematik induksiya usuliga tayangan holda quyidagicha qat’iy ta’rif beriladi.