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

Teng kuchli formulalarga doir teoremalar. Endi teng kuchli formulalarga doir ayrim teoremalarni keltiramiz.

1- teorema. va formulalar teng kuchli bo‘lishi uchun va formulalar teng kuchli bo‘lishi zarur va yetarli.

Isboti. Berilgan va formulalar uchun bo‘lsin. U holda va formulalar chinlik jadvalining ixtiyoriy satrida bu formulalarning qiymatlari bir xil bo‘ladi. Shuning uchun va formulalar chinlik jadvalining ixtiyoriy satrida ularning qiymatlari ham bir xildir. Demak, . Xuddi shunga o‘xshash, teng kuchlilikdan teng kuchlilik kelib chiqishini ko‘rsatish mumkin. ■