Matematik va mantiq elementlari. Predikat va kvantorlar. Reja

Aim.uz

Matematik va mantiq elementlari.Predikat va kvantorlar.

Reja:

1. 
   Muloxaza haqida tushunchalar;
   
2. 
   Predikatlar haqida tushunchalar;
   
3. 
   Kvantorlar va ularning turlari;
   
4. 
   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).