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


Download 1.67 Mb.
bet36/39
Sana09.01.2022
Hajmi1.67 Mb.
#264630
1   ...   31   32   33   34   35   36   37   38   39
Bog'liq
1-2 maruza diskret m

4- teorema. Mantiq algebrasining formulasi aynan yolg‘on bo‘lishi uchun uning DNShdagi barcha elementar kon’yunktiv hadlarida kamida bittadan

elementar mulohaza o‘zining inkori bilan birga qatnashishi zarur va yetarli.

Isboti. 1. Mantiq algebrasining formulasi ko‘rinishda berilgan bo‘lib, uning DNShidagi barcha () elementar kon’yunktiv hadlarida kamida bittadan elementar mulohaza bilan birga bu mulohazaning inkori ham qatnashsin. Berilgan formulaning () hadida qandaydir elementar mulohaza bilan birga uning inkori ham qatnashgan bo‘lsin deb faraz qilaylik. U holda va teng kuchliliklarga asosan barcha uchun o‘rinlidir. Demak, agar barcha uchun hadlar tarkibida kamida bitta elementar mulohaza bilan birga bu mulohazaning inkori ham qatnashgan bo‘lsa, u holda , ya’ni aynan yolg‘on bo‘ladi.

2. Mantiq algebrasining formulasi aynan yolg‘on bo‘lsin. U holda formulaning inkori doimo chin bo‘ladi. Shuning uchun, 2- teoremaga asosan, formulaning KNShdagi barcha elementar diz’yunksiyalarida kamida bittadan elementar mulohaza bilan birga uning inkori ham topiladi. Demak, fopmulaning DNShdagi barcha kon’yunktiv hadlarida kamida bittadan elementar mulohaza o‘zining inkori bilan birga qatnashadi. ■

4- teorema berilgan formulaning doimo yolg‘on bo‘lishi yoki bo‘lmasligini, chinlik jadvaliga murojaat qilmasdan, aniqlash imkonini bergani uchun, uni yolg‘onlik alomati deb atash mumkin.




Download 1.67 Mb.

Do'stlaringiz bilan baham:
1   ...   31   32   33   34   35   36   37   38   39




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling