Matematik va mantiq elementlari. Predikat va kvantorlar. Reja


Download 213.5 Kb.
bet1/9
Sana27.05.2020
Hajmi213.5 Kb.
  1   2   3   4   5   6   7   8   9

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).

Download 213.5 Kb.

Do'stlaringiz bilan baham:
  1   2   3   4   5   6   7   8   9




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2020
ma'muriyatiga murojaat qiling