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

4- teorema. Ixtiyoriy formulaning istalgan qismi o‘rniga shu qismi bilan teng kuchli boshqa formulani qo‘yishdan hosil bo‘lgan yangi formula dastlabki formula bilan teng kuchlidir.

Isboti o‘quvchiga havola qilinadi. ■

3- misol. formula berilgan bo‘lsin. Bu formula tarkibidagi qismi o‘rniga unga teng kuchli bo‘lgan formulani qo‘yish natijasida formula hosil bo‘ladi. Bu formulaga (7), (8) va (10) teng kuchliliklarni qo‘llab, berilgan formulaga teng kuchli formulani hosil qilish mumkin. Berilgan va oxirgi formulalarning teng kuchliligini chinlik jadvali vositasida ham ko‘rsatish mumkin. Bu ish o‘quvchiga havola qilinadi. ■