|
Oʻzbekiston respublikasi axborot texnologiyalari va
|
| bet | 1/4 | | Sana | 20.11.2023 | | Hajmi | 16.16 Kb. | | #101816 |
Bog'liq diyor dis Йиллик иш режа намуна, 8 MARUZA, 1 маъруза бакалавр халқ табобати мажмуа , online-test, Elektrolitik diss, Eruvchanlik,dioganal, Adilova Sayyora, ycUaDA2OZWoeqoLRBn65727YpdqyWt07VxYQ6WEP, 111, O`zbekistonning eng yangi tarixi fanidan test savollari, 6 sinf yakuniy 30talik, 3-dars-Диодлар, Mumtоz adabiyotga kirish kursining maqsad va vazifalari, Ashurov tezis, O’rnatilgan tizimlarning dasturiy ta’minotini ishlab chiqish fanBu sahifa navigatsiya:
- MAVZU
OʻZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA KOMMUNIKATSIYALARINI RIVOJLANTIRISH VAZIRLIGI
MUHAMMAD AL-XOZAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
1-mustaqil ish. Diskret Tuzilmalar
MAVZU: n-o’rinli predikatlar. Ularga misollar.
Fakulʼtet: AKTSIM Guruh: 120-20
Bajardi: Haitov Salohiddin
TOSHKENT – 2021
MAVZU: n-o’rinli predikatlar. Ularga misollar
Reja:
Predikat tushunchasi.
N - o’rinli predikatlar. Ularga misollar
Predikatlar mantiqining formulasi
Xulosa.
1). Predikat tushunchasi. Mantiq algebrasida mulohazalar faqatgina chin yoki yolg‘on qiymat qabul qilishi nuqtai nazaridan qaralib, mulohazalarning tuzilishiga ham, hattoki, mazmuniga ham e ’tibor berilmaydi. Ammo fanda va amaliyotda mulohazalarning tuzilishi va mazmunidan kelib chiqadigan xulosalardan (natijalardan) foydalaniladi. Masalan, «Har qanday romb parallelogrammdir; ABC D
- romb; demak, ABCD - parallelogramm».Asos (shart) va xulosa mulohazalar mantiqining elementar mulohazalari bo'ladi va ulami bu mantiq nuqtai nazaridan bo‘linmas, bir butun deb va ulaming ichki tuzilishini hisobga olmasdan qaraladi. Shunday qilib, mantiq algebrasi mantiqning muhim qismi bo‘lishiga qaramasdan, ko‘pgina fikrlarni tahlil qilishga qodir (yetarli) emas. Shuning uchun ham mulohazalar mantiqini kengaytirish masalasi vujudga keldi, ya’ni elementar mulohazalarning ichki tuzilishini ham tadqiq eta oladigan mantiqiy
sistemani yaratish muammosi paydo bo‘ldi. Bunday sistema
mulohazalar mantiqini o'zining bir qismi sifatida butunlay o ‘z ichiga
oladigan predikatlar mantiqidir.
|
| |
