|
8-amaliy mashg’ulot. Bul algebrasi. Ikkilik manti
|
| bet | 5/8 | | Sana | 12.01.2024 | | Hajmi | 163,45 Kb. | | #136164 |
Bog'liq amaliy 84. Implikatsiya amali. x mulohaza y mulohazani implikatsiyalaydi degan amal kiritilib, bu amal ko‘rinishda belgilanadi. Bu amal natijasida hosil bo‘lgan mulohaza x y shaklda yoziladi.
8.7-Ta’rif. Faqat x chin va y yolg‘on bo‘lgandagina (x y) implikatsiya yolg‘on bo‘lib, boshqa hamma hollarda (x y) chindir.
x y implikatsiya ushbu mazmundagi mulohazalarga: x bajarilsa y bajariladi, x dan y hosil bo‘ladi, x dan y kelib chiqadi, x bajarilgani uchun y bajariladi va x.k.larga mos keladi.
x
|
y
|
x y
|
1
1
0
0
|
1
0
1
0
|
1
0
1
1
|
Bunday muloxazalar shartli mulohazalar deyiladi.
Matematikada x y implikatsiya zaruriy shartni ifodalovchi, yani u bajarilishi uchun x bajarilishi zarur degan teoremaga mos keladi. Matematikada yana yetarli shartni ifodalavchi, yani u bajarilishi uchun x bajarilishi yetarli degan teorema xam implikatsiyaga mos keladi.
5. Ekvivalensiya amali. x va u mulohazalar ustida bajariladigan ekvivalensiya amali belgi va buning natijasida hosil bo‘ladigan murakab mulohaza x u shaklda yoziladi.
8.8-Ta’rif. x va u mulohozalar bir xil qiymatga ega bo‘lgandagina x u mulohaza chin bo‘lib, boshqa hollarda x u yolg‘ondir.
Ekvivalentlik yoki ~ deb belgilanadi, x u ekvivalensiya x bo‘lsa u bo‘ladi va u bo‘lsa x bo‘ladi yoki x dan u kelib chiqadi va u dan x kelib chiqadi degan mulohazaga mos keladi, ya’ni x u=(x y) (u x) ko‘rinishda ifodalash mumkin.
|
| |
