|
Mavzu: Matematik mantiq elementlari Reja
|
| bet | 13/14 | | Sana | 23.09.2024 | | Hajmi | 0,55 Mb. | | #272018 |
Bog'liq 3-maruza Mantiqiy amallar va mantiqiy elementlar1. Inkor amali. Istalgan x o‘zgaruvchi mulohaza bilan x mulohaza shu bilan xarakterlanadiki, x mulohazaning inkori deb atalgan x mulohaza chin qiymatni qabul qilganda, x mulohaza yolg‘on qiymatni qabul qiladi va aksincha. Mulohaza mantig‘ining bu eng sodda amali inkor amali deb yuritiladi va uni oddiy tilda emas sifatdoshi bilan ifodalash mumkin. Bu amal matematik mantiqda “—” yoki ko‘rinishida ifodalanadi. Agar biror x mulohaza (bugun havo issiq) bo‘lsa, x mulohaza yangi murakkab mulohaza bo‘lib (bugun havo issiq emas)dan iborat bo‘ladi. Shu asosda inkor amalini quyidagi chinlik jadvali asosida tushunish mumkin:
X
|
x
|
Ch (1)
|
Yo (0)
|
Yo (0)
|
Ch (1)
|
2. Kon’yunksiya amali. Mantiqiy ko‘paytma amali x va y mulohazalar ustida bajariladigan kon’yunksiya (bog‘lash) amali. Bu amal belgisi orqali belgilanadi va bu amal natijasida hosil bo‘lgan, yangi, murakkab mulohaza quyidagi ko‘rinishga ega bo‘ladi: x y va bog‘lovchisiga mos keluvchi mantiqiy amal konyunksiya amali deb ataladi.
x va y mulohazalar chin bo‘lgandagina chin qiymatni qabul qiladi, qolgan hollarda esa yolg‘on qiymatga ega bo‘ladi.
|
| |
