Aim.uz
Matematik va mantiq elementlari.Predikat va kvantorlar.
Reja:
Muloxaza haqida tushunchalar;
Predikatlar haqida tushunchalar;
Kvantorlar va ularning turlari;
Predikatli formulalar;
“Mulohaza”lar va ularning ustida mantiqiy amallarni o‘rgatadigan matematikaning bo‘limi matematik mantiq deyiladi. Mulohazalar ustida bajariladigan mantiqiy amallar maxsus belgilar yordamida ifodalanadi.
Bu belgilardan asosiylarini keltiramiz.
1. - agar … bo‘lsa, u holda … bo‘ladi. E F – agar E bo‘lsa, F bo‘ladi (E dan F kelib chiqadi).
2. - teng kuchlilik. EF – E va F teng kuchli (E dan F kelib chiqadi va aksincha).
Do'stlaringiz bilan baham: |