2- teorema. va formulalar teng kuchli bo‘lishi uchun formula tavtologiya bo‘lishi zarur va yetarli.
Isboti. 1. Berilgan va formulalar uchun bo‘lsin. U holda ekvivalensiya ta’rifiga asosan, formula chinlik jadvalining barcha satrlaridagi qiymatlari ch bo‘ladi. Demak, formula tavtologiyani ifodalaydi.
2. formula tavtologiya bo‘lsin. U holda formula chinlik jadvalining ustunidagi barcha qiymatlar ch bo‘lad i. Bundan, ekvivalensiya ta’rifiga ko‘ra, chinlik jadvalining har bir satridagi va formulalarga mos qiymatlar bir xil, ya’ni teng kuchlilik o‘rinliligi kelib chiqadi. ■
Do'stlaringiz bilan baham: |
